3 # provide helper methods to increase/decrease fonts from the command line
5 # Copyright © 1994–2008 martin f. krafft <madduck@madduck.net>
6 # Released under the terms of the Artistic Licence 2.0
8 # Source repository: http://git.madduck.net/v/etc/zsh.git
11 typeset -ga _XTERM_FONTS
12 _XTERM_FONTS+='-misc-fixed-medium-r-semicondensed-*-13-*-*-*-*-*-iso10646-1'
13 _XTERM_FONTS+='-misc-fixed-medium-r-normal-*-13-120-75-75-c-80-iso10646-1'
14 _XTERM_FONTS+='-misc-fixed-medium-*-*-*-15-*-*-*-*-*-iso10646-1'
15 _XTERM_FONTS+='-misc-fixed-medium-r-normal-*-18-*-*-*-*-*-iso10646-1'
16 _XTERM_FONTS+='-misc-fixed-medium-r-normal-*-20-200-75-75-c-100-iso10646-1'
17 _XTERM_FONT=${_XTERM_FONT:=1}
21 warn "no smaller font available"
24 elif [ $1 -gt $#_XTERM_FONTS ]; then
25 warn "no larger font available"
26 _XTERM_FONT=$#_XTERM_FONTS
30 info "selecting font: $_XTERM_FONTS[$_XTERM_FONT]"
31 echo -en "\033]50;$_XTERM_FONTS[$1]\007"
33 #_set_xterm_font $_XTERM_FONT 2>/dev/null
35 f++() { _set_xterm_font $((_XTERM_FONT + 1)) }
36 f--() { _set_xterm_font $((_XTERM_FONT - 1)) }
37 f0() { _set_xterm_font 1 }
38 fx() { _set_xterm_font $#_XTERM_FONTS }