_XTERM_FONTS+='-misc-fixed-medium-*-*-*-15-*-*-*-*-*-iso10646-1'
_XTERM_FONTS+='-misc-fixed-medium-r-normal-*-18-*-*-*-*-*-iso10646-1'
_XTERM_FONTS+='-misc-fixed-medium-r-normal-*-20-200-75-75-c-100-iso10646-1'
-integer -g _XTERM_FONT
+_XTERM_FONT=${_XTERM_FONT:=1}
_set_xterm_font() {
if [ $1 -lt 1 ]; then
info "selecting font: $_XTERM_FONTS[$_XTERM_FONT]"
echo -en "\033]50;$_XTERM_FONTS[$1]\007"
}
-_set_xterm_font ${_XTERM_FONT:-1}
+#_set_xterm_font $_XTERM_FONT 2>/dev/null
f++() { _set_xterm_font $((_XTERM_FONT + 1)) }
f--() { _set_xterm_font $((_XTERM_FONT - 1)) }