equal
deleted
inserted
replaced
122 |
122 |
123 ### |
123 ### |
124 ### Rendering information |
124 ### Rendering information |
125 ### |
125 ### |
126 |
126 |
127 ISABELLE_FONTS="$ISABELLE_HOME/lib/fonts/IsabelleText.ttf:$ISABELLE_HOME/lib/fonts/IsabelleTextBold.ttf" |
|
128 ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols" |
127 ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols" |
129 |
128 |
130 |
129 |
131 ### |
130 ### |
132 ### Misc old-style settings |
131 ### Misc old-style settings |