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 /include/eiffel | |
| 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 'include/eiffel')
| -rw-r--r-- | include/eiffel | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/include/eiffel b/include/eiffel index e31a170..3708d86 100644 --- a/include/eiffel +++ b/include/eiffel @@ -32,6 +32,7 @@ @Use { @EiffelSetup # pipe { } # pipe source through this + # numbered { No } # No, Yes, or a line number # style { varying @OrIfPlain fixed } # fixed, varying, or symbol # the following options apply when style is "fixed" @@ -48,6 +49,7 @@ # fixednumbers { Base } # number face # fixedstrings { Base } # string face # fixedcomments { Base } # comment face + # fixedlinenumbers { Base } # line numbers face # fixedidentifiersformat { @Body } # identifiers format # fixedkeywordsformat { @Body } # keywords format @@ -55,6 +57,7 @@ # fixednumbersformat { @Body } # numbers format # fixedstringsformat { @Body } # strings format # fixedcommentsformat { @Body } # comments format + # fixedlinenumbersformat { @Body } # line numbers format # the following options apply when style is "varying" @@ -70,6 +73,7 @@ # varyingnumbers { Base } # number face # varyingstrings { Slope } # string face # varyingcomments { Base } # comment face + # varyinglinenumbers { Base } # line numbers face # varyingidentifiersformat { @Body } # identifiers format # varyingkeywordsformat { @Body } # keywords format @@ -77,6 +81,7 @@ # varyingnumbersformat { @Body } # numbers format # varyingstringsformat { @Body } # strings format # varyingcommentsformat { @Body } # comments format + # varyinglinenumbersformat { @Body } # line numbers format # the following options apply when style is "symbol" @@ -92,6 +97,7 @@ # symbolnumbers { Base } # number face # symbolstrings { Slope } # string face # symbolcomments { Base } # comment face + # symbollinenumbers { Base } # line numbers face # symbolidentifiersformat { @Body } # identifiers format # symbolkeywordsformat { @Body } # keywords format @@ -99,4 +105,5 @@ # symbolnumbersformat { @Body } # numbers format # symbolstringsformat { @Body } # strings format # symbolcommentsformat { @Body } # comments format + # symbollinenumbersformat { @Body } # line numbers format } |