… | |
… | |
218 | set_option (Opt_jumpScroll); |
218 | set_option (Opt_jumpScroll); |
219 | set_option (Opt_secondaryScreen); |
219 | set_option (Opt_secondaryScreen); |
220 | set_option (Opt_secondaryScroll); |
220 | set_option (Opt_secondaryScroll); |
221 | set_option (Opt_pastableTabs); |
221 | set_option (Opt_pastableTabs); |
222 | set_option (Opt_intensityStyles); |
222 | set_option (Opt_intensityStyles); |
|
|
223 | set_option (Opt_iso14755_52); |
223 | |
224 | |
224 | return true; |
225 | return true; |
225 | } |
226 | } |
226 | |
227 | |
227 | void |
228 | void |
… | |
… | |
1036 | vt_ev.start (display, vt); |
1037 | vt_ev.start (display, vt); |
1037 | |
1038 | |
1038 | #ifdef XPM_BACKGROUND |
1039 | #ifdef XPM_BACKGROUND |
1039 | if (rs[Rs_backgroundPixmap] != NULL |
1040 | if (rs[Rs_backgroundPixmap] != NULL |
1040 | #ifndef HAVE_AFTERIMAGE |
1041 | #ifndef HAVE_AFTERIMAGE |
1041 | && !OPTION (Opt_transparent) |
1042 | && !option (Opt_transparent) |
1042 | #endif |
1043 | #endif |
1043 | ) |
1044 | ) |
1044 | { |
1045 | { |
1045 | const char *p = rs[Rs_backgroundPixmap]; |
1046 | const char *p = rs[Rs_backgroundPixmap]; |
1046 | |
1047 | |