diff options
| author | Jeffrey H. Kingston <jeff@it.usyd.edu.au> | 2010-09-14 20:36:47 +0000 |
|---|---|---|
| committer | Jeffrey H. Kingston <jeff@it.usyd.edu.au> | 2010-09-14 20:36:47 +0000 |
| commit | 9cc32a164b926d9df2909186834b6b8ab2994750 (patch) | |
| tree | 63a1ef3b3f1d2562c498291cda341a2171a1fe1c /doc/user/prg_opti | |
| parent | 2f4268e5e02216be53cd85816362191373512463 (diff) | |
| download | lout-9cc32a164b926d9df2909186834b6b8ab2994750.tar.gz | |
Lout 3.21 tag.3.21
git-svn-id: http://svn.savannah.nongnu.org/svn/lout/tags/3.21@12 9365b830-b601-4143-9ba8-b4a8e2c3339c
Diffstat (limited to 'doc/user/prg_opti')
| -rw-r--r-- | doc/user/prg_opti | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/user/prg_opti b/doc/user/prg_opti index 9eb1818..0b8dbb6 100644 --- a/doc/user/prg_opti +++ b/doc/user/prg_opti @@ -68,6 +68,7 @@ default values: @ID @OneRow @Code { "@CP [ or @Eiffel, @Blue, etc. ]" " style { fixed }" +" numbered { No }" " font { Courier }" " size { -1.0p }" " line { 1.0vx }" @@ -84,6 +85,10 @@ default values: "}" } We are already familiar with {@Code "style"}. After that comes +{@Code "numbered"}, whose value may be {@Code "No"} (the default), +{@Code "Yes"}, or a number, and which determines whether or not +line numbers are to be added and if so the value of the first +one. Next we have {@Code "font"}, which determines the font family to use, {@Code "size"}, the font size to use, and {@Code "line"}, the inter-line spacing. The default value for @Code "size" asks for one point smaller than in the |