… | |
… | |
199 | numpix_colors = TOTAL_COLORS; |
199 | numpix_colors = TOTAL_COLORS; |
200 | |
200 | |
201 | refresh_type = SLOW_REFRESH; |
201 | refresh_type = SLOW_REFRESH; |
202 | |
202 | |
203 | oldcursor.row = oldcursor.col = -1; |
203 | oldcursor.row = oldcursor.col = -1; |
204 | #ifdef HAVE_BG_PIXMAP |
|
|
205 | #ifdef HAVE_AFTERIMAGE |
|
|
206 | bgPixmap.original_asim = NULL; |
|
|
207 | #endif |
|
|
208 | /* bgPixmap.w = bgPixmap.h = 0; */ |
|
|
209 | #ifdef XPM_BACKGROUND |
|
|
210 | bgPixmap.h_scale = bgPixmap.v_scale = 0; |
|
|
211 | bgPixmap.h_align = bgPixmap.v_align = 0; |
|
|
212 | #endif |
|
|
213 | bgPixmap.flags = 0; |
|
|
214 | bgPixmap.pixmap = None; |
|
|
215 | #endif |
|
|
216 | last_bot = last_state = -1; |
204 | last_bot = last_state = -1; |
217 | |
205 | |
218 | set_option (Opt_scrollBar); |
206 | set_option (Opt_scrollBar); |
219 | set_option (Opt_scrollTtyOutput); |
207 | set_option (Opt_scrollTtyOutput); |
220 | set_option (Opt_jumpScroll); |
208 | set_option (Opt_jumpScroll); |