| … | |
… | |
| 199 | ext_bwidth = EXTERNALBORDERWIDTH; |
199 | ext_bwidth = EXTERNALBORDERWIDTH; |
| 200 | lineSpace = LINESPACE; |
200 | lineSpace = LINESPACE; |
| 201 | saveLines = SAVELINES; |
201 | saveLines = SAVELINES; |
| 202 | numpix_colors = TOTAL_COLORS; |
202 | numpix_colors = TOTAL_COLORS; |
| 203 | |
203 | |
| 204 | refresh_limit = 1; |
|
|
| 205 | refresh_type = SLOW_REFRESH; |
204 | refresh_type = SLOW_REFRESH; |
| 206 | |
205 | |
| 207 | oldcursor.row = oldcursor.col = -1; |
206 | oldcursor.row = oldcursor.col = -1; |
| 208 | #ifdef XPM_BACKGROUND |
207 | #ifdef XPM_BACKGROUND |
| 209 | /* bgPixmap.w = bgPixmap.h = 0; */ |
208 | /* bgPixmap.w = bgPixmap.h = 0; */ |
| … | |
… | |
| 214 | last_bot = last_state = -1; |
213 | last_bot = last_state = -1; |
| 215 | |
214 | |
| 216 | set_option (Opt_scrollBar); |
215 | set_option (Opt_scrollBar); |
| 217 | set_option (Opt_scrollTtyOutput); |
216 | set_option (Opt_scrollTtyOutput); |
| 218 | set_option (Opt_jumpScroll); |
217 | set_option (Opt_jumpScroll); |
|
|
218 | set_option (Opt_skipScroll); |
| 219 | set_option (Opt_secondaryScreen); |
219 | set_option (Opt_secondaryScreen); |
| 220 | set_option (Opt_secondaryScroll); |
220 | set_option (Opt_secondaryScroll); |
| 221 | set_option (Opt_pastableTabs); |
221 | set_option (Opt_pastableTabs); |
| 222 | set_option (Opt_intensityStyles); |
222 | set_option (Opt_intensityStyles); |
|
|
223 | set_option (Opt_iso14755_52); |
| 223 | |
224 | |
| 224 | return true; |
225 | return true; |
| 225 | } |
226 | } |
| 226 | |
227 | |
| 227 | void |
228 | void |
