… | |
… | |
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 |