… | |
… | |
189 | pixmap = None; |
189 | pixmap = None; |
190 | #endif |
190 | #endif |
191 | |
191 | |
192 | MEvent.time = CurrentTime; |
192 | MEvent.time = CurrentTime; |
193 | MEvent.button = AnyButton; |
193 | MEvent.button = AnyButton; |
194 | options = DEFAULT_OPTIONS; |
|
|
195 | want_refresh = 1; |
194 | want_refresh = 1; |
196 | priv_modes = SavedModes = PrivMode_Default; |
195 | priv_modes = SavedModes = PrivMode_Default; |
197 | ncol = 80; |
196 | ncol = 80; |
198 | nrow = 24; |
197 | nrow = 24; |
199 | int_bwidth = INTERNALBORDERWIDTH; |
198 | int_bwidth = INTERNALBORDERWIDTH; |
… | |
… | |
211 | bgPixmap.x = bgPixmap.y = 0; |
210 | bgPixmap.x = bgPixmap.y = 0; |
212 | bgPixmap.pixmap = None; |
211 | bgPixmap.pixmap = None; |
213 | #endif |
212 | #endif |
214 | |
213 | |
215 | last_bot = last_state = -1; |
214 | last_bot = last_state = -1; |
|
|
215 | |
|
|
216 | set_option (Opt_scrollBar, 1); |
|
|
217 | set_option (Opt_scrollTtyOutput, 1); |
|
|
218 | set_option (Opt_jumpScroll, 1); |
|
|
219 | set_option (Opt_secondaryScreen, 1); |
|
|
220 | set_option (Opt_secondaryScroll, 1); |
|
|
221 | set_option (Opt_pastableTabs, 1); |
|
|
222 | set_option (Opt_intensityStyles, 1); |
216 | |
223 | |
217 | return true; |
224 | return true; |
218 | } |
225 | } |
219 | |
226 | |
220 | void |
227 | void |