.zsh/zshrc/80_termfonts

   1 # zshrc/80_termfonts
   2 #
   3 # provide helper methods to increase/decrease fonts from the command line
   4 #
   5 # Copyright © 1994–2008 martin f. krafft <madduck@madduck.net>
   6 # Released under the terms of the Artistic Licence 2.0
   7 #
   8 # Source repository: git://git.madduck.net/etc/zsh.git
   9 #
  10
  11 typeset -ga _XTERM_FONTS
  12 #_XTERM_FONTS+=-misc-fixed-medium-r-normal--6-60-75-75-c-40-iso10646-1
  13 #_XTERM_FONTS+=-misc-fixed-medium-r-normal--7-70-75-75-c-50-iso10646-1
  14 #_XTERM_FONTS+=-misc-fixed-medium-r-normal--8-80-75-75-c-50-iso10646-1
  15 #_XTERM_FONTS+=-misc-fixed-medium-r-normal--9-90-75-75-c-60-iso10646-1
  16 #_XTERM_FONTS+=-misc-fixed-medium-r-semicondensed--12-110-75-75-c-60-iso10646-1
  17 _XTERM_FONTS+=-misc-fixed-medium-r-semicondensed--13-120-75-75-c-60-iso10646-1
  18 #_XTERM_FONTS+=-misc-fixed-medium-r-normal--13-120-75-75-c-70-iso10646-1
  19 _XTERM_FONTS+=-misc-fixed-medium-r-normal--14-130-75-75-c-70-iso10646-1
  20 #_XTERM_FONTS+=-misc-fixed-medium-r-normal--15-140-75-75-c-90-iso10646-1
  21 _XTERM_FONTS+=-misc-fixed-medium-r-normal--18-120-100-100-c-90-iso10646-1
  22 _XTERM_FONTS+=-misc-fixed-medium-r-normal--20-200-75-75-c-100-iso10646-1
  23 _XTERM_FONT=${_XTERM_FONT:=1}
  24
  25 _set_xterm_font() {
  26   if [ $1 -lt 1 ]; then
  27     warn "no smaller font available"
  28     _XTERM_FONT=1
  29     return 1
  30   elif [ $1 -gt $#_XTERM_FONTS ]; then
  31     warn "no larger font available"
  32     _XTERM_FONT=$#_XTERM_FONTS
  33     return 1
  34   fi
  35   _XTERM_FONT=$1
  36   info "selecting font: $_XTERM_FONTS[$_XTERM_FONT]"
  37   echo -en "\033]50;$_XTERM_FONTS[$1]\007"
  38 }
  39 #_set_xterm_font $_XTERM_FONT 2>/dev/null
  40
  41 f++() { _set_xterm_font $((_XTERM_FONT + 1)) }
  42 f--() { _set_xterm_font $((_XTERM_FONT - 1)) }
  43 f0() { _set_xterm_font 1 }
  44 fx() { _set_xterm_font $#_XTERM_FONTS }
  45
  46 # vim:ft=zsh