/usr/share/elvis/scripts/fontsize.ex is in elvis-common 2.2.0-11.1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 | "For the 'x11' user interface only, this script adds a FontSize button to the
"toolbar which allows you to choose the font size used by elvis.
gui FontSize;"fontsize"(oneof tiny small medium large huge current)s=s?s:"current"
gui FontSize:eval fontsize (s)
alias fontsize {
local n
switch "!(large)1"
case huge
case 20 set n=20 s=huge
case large
case 15 set n=15 s=large
case medium
case 13 set n=13 s=medium
case small
case 10 set n=10 s=small
case tiny
case 7 set n=7 s=tiny
case current set n=0 s=current
default {
if isnumber("!1")
then set n="!1" s=current
else error Invalid size
}
if n > 0
then let font="*-fixed-medium-r-normal--";n;"-*-iso8859-1"
}
|