| … | |
… | |
| 399 | #if defined (HOTKEY_CTRL) || defined (HOTKEY_META) |
399 | #if defined (HOTKEY_CTRL) || defined (HOTKEY_META) |
| 400 | ks_bigfont = XK_greater; |
400 | ks_bigfont = XK_greater; |
| 401 | ks_smallfont = XK_less; |
401 | ks_smallfont = XK_less; |
| 402 | #endif |
402 | #endif |
| 403 | |
403 | |
| 404 | #ifdef GREEK_SUPPORT |
|
|
| 405 | ks_greekmodeswith = GREEK_KEYBOARD_MODESWITCH; |
|
|
| 406 | #endif |
|
|
| 407 | |
|
|
| 408 | refresh_limit = 1; |
404 | refresh_limit = 1; |
| 409 | refresh_type = SLOW_REFRESH; |
405 | refresh_type = SLOW_REFRESH; |
| 410 | prev_nrow = prev_ncol = 0; |
406 | prev_nrow = prev_ncol = 0; |
| 411 | #ifdef MULTICHAR_SET |
407 | #ifdef MULTICHAR_SET |
| 412 | # ifdef MULTICHAR_ENCODING |
408 | # ifdef MULTICHAR_ENCODING |
| … | |
… | |
| 900 | if (menubar_visible ()) |
896 | if (menubar_visible ()) |
| 901 | { |
897 | { |
| 902 | PrivateModes |= PrivMode_menuBar; |
898 | PrivateModes |= PrivMode_menuBar; |
| 903 | SavedModes |= PrivMode_menuBar; |
899 | SavedModes |= PrivMode_menuBar; |
| 904 | } |
900 | } |
| 905 | |
|
|
| 906 | #ifdef GREEK_SUPPORT |
|
|
| 907 | greek_init (); |
|
|
| 908 | #endif |
|
|
| 909 | |
901 | |
| 910 | #ifdef CURSOR_BLINK |
902 | #ifdef CURSOR_BLINK |
| 911 | if (Options & Opt_cursorBlink) |
903 | if (Options & Opt_cursorBlink) |
| 912 | (void)gettimeofday (&lastcursorchange, NULL); |
904 | (void)gettimeofday (&lastcursorchange, NULL); |
| 913 | #endif |
905 | #endif |
