FONT=$1
[ -z "$FONT" ] && FONT=fixed
printf '\e]710;%s\007' "$FONT"