… | |
… | |
984 | SET_LOCALE (locale); |
984 | SET_LOCALE (locale); |
985 | |
985 | |
986 | display->flush (); |
986 | display->flush (); |
987 | |
987 | |
988 | if (want_refresh && !flush_ev.active) |
988 | if (want_refresh && !flush_ev.active) |
989 | flush_ev.start (NOW + 0.01); |
989 | flush_ev.start (NOW + 1. / 60.); // refresh at max. 60 hz normally |
990 | } |
990 | } |
991 | |
991 | |
992 | void |
992 | void |
993 | rxvt_term::flush_cb (time_watcher &w) |
993 | rxvt_term::flush_cb (time_watcher &w) |
994 | { |
994 | { |
… | |
… | |
2694 | |
2694 | |
2695 | if (!OPTION (Opt_jumpScroll) |
2695 | if (!OPTION (Opt_jumpScroll) |
2696 | || (refresh_count >= refresh_limit * (nrow - 1))) |
2696 | || (refresh_count >= refresh_limit * (nrow - 1))) |
2697 | { |
2697 | { |
2698 | refreshnow = true; |
2698 | refreshnow = true; |
|
|
2699 | refresh_count = 0; |
2699 | ch = NOCHAR; |
2700 | ch = NOCHAR; |
2700 | break; |
2701 | break; |
2701 | } |
2702 | } |
2702 | |
2703 | |
2703 | // scr_add_lines only works for nlines <= nrow - 1. |
2704 | // scr_add_lines only works for nlines <= nrow - 1. |
… | |
… | |
2740 | refresh_limit++; |
2741 | refresh_limit++; |
2741 | else |
2742 | else |
2742 | { |
2743 | { |
2743 | flag = true; |
2744 | flag = true; |
2744 | scr_refresh (refresh_type); |
2745 | scr_refresh (refresh_type); |
|
|
2746 | flush_ev.stop (); |
2745 | } |
2747 | } |
2746 | } |
2748 | } |
2747 | |
2749 | |
2748 | } |
2750 | } |
2749 | else |
2751 | else |
… | |
… | |
4063 | if (mode) |
4065 | if (mode) |
4064 | SET_OPTION (Opt_intensityStyles); |
4066 | SET_OPTION (Opt_intensityStyles); |
4065 | else |
4067 | else |
4066 | CLR_OPTION (Opt_intensityStyles); |
4068 | CLR_OPTION (Opt_intensityStyles); |
4067 | |
4069 | |
4068 | want_refresh = 1; |
4070 | scr_touch (true); |
4069 | want_full_refresh = 1; |
|
|
4070 | break; |
4071 | break; |
4071 | #endif |
4072 | #endif |
4072 | case 1048: /* alternative cursor save */ |
4073 | case 1048: /* alternative cursor save */ |
4073 | case 1049: |
4074 | case 1049: |
4074 | if (OPTION (Opt_secondaryScreen)) |
4075 | if (OPTION (Opt_secondaryScreen)) |