… | |
… | |
213 | last_bot = last_state = -1; |
213 | last_bot = last_state = -1; |
214 | |
214 | |
215 | set_option (Opt_scrollBar); |
215 | set_option (Opt_scrollBar); |
216 | set_option (Opt_scrollTtyOutput); |
216 | set_option (Opt_scrollTtyOutput); |
217 | set_option (Opt_jumpScroll); |
217 | set_option (Opt_jumpScroll); |
|
|
218 | set_option (Opt_skipScroll); |
218 | set_option (Opt_secondaryScreen); |
219 | set_option (Opt_secondaryScreen); |
219 | set_option (Opt_secondaryScroll); |
220 | set_option (Opt_secondaryScroll); |
220 | set_option (Opt_pastableTabs); |
221 | set_option (Opt_pastableTabs); |
221 | set_option (Opt_intensityStyles); |
222 | set_option (Opt_intensityStyles); |
222 | set_option (Opt_iso14755_52); |
223 | set_option (Opt_iso14755_52); |