.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: http://git.madduck.net/v/etc/zsh.git
   9 #
  10
  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}
  18
  19 _set_xterm_font() {
  20   if [ $1 -lt 1 ]; then
  21     warn "no smaller font available"
  22     _XTERM_FONT=1
  23     return 1
  24   elif [ $1 -gt $#_XTERM_FONTS ]; then
  25     warn "no larger font available"
  26     _XTERM_FONT=$#_XTERM_FONTS
  27     return 1
  28   fi
  29   _XTERM_FONT=$1
  30   info "selecting font: $_XTERM_FONTS[$_XTERM_FONT]"
  31   echo -en "\033]50;$_XTERM_FONTS[$1]\007"
  32 }
  33 #_set_xterm_font $_XTERM_FONT 2>/dev/null
  34
  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 }
  39
  40 # vim:ft=zsh