… | … | ||
---|---|---|---|
308 | set_option (Opt_secondaryScreen); | 308 | set_option (Opt_secondaryScreen); |
309 | set_option (Opt_secondaryScroll); | 309 | set_option (Opt_secondaryScroll); |
310 | set_option (Opt_pastableTabs); | 310 | set_option (Opt_pastableTabs); |
311 | set_option (Opt_intensityStyles); | 311 | set_option (Opt_intensityStyles); |
312 | set_option (Opt_iso14755_52); | 312 | set_option (Opt_iso14755_52); |
313 | set_option (Opt_buffered); | ||
313 | } | 314 | } |
314 | 315 | ||
315 | static void | 316 | static void |
316 | init_secondary () | 317 | init_secondary () |
317 | { | 318 | { |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |