… | |
… | |
308 | set_option (Opt_skipScroll); |
308 | set_option (Opt_skipScroll); |
309 | set_option (Opt_secondaryScreen); |
309 | set_option (Opt_secondaryScreen); |
310 | set_option (Opt_secondaryScroll); |
310 | set_option (Opt_secondaryScroll); |
311 | set_option (Opt_pastableTabs); |
311 | set_option (Opt_pastableTabs); |
312 | set_option (Opt_intensityStyles); |
312 | set_option (Opt_intensityStyles); |
|
|
313 | set_option (Opt_iso14755); |
313 | set_option (Opt_iso14755_52); |
314 | set_option (Opt_iso14755_52); |
314 | set_option (Opt_buffered); |
315 | set_option (Opt_buffered); |
315 | } |
316 | } |
316 | |
317 | |
317 | static void |
318 | static void |