… | |
… | |
1016 | /* checks whether a refresh is requested and starts the refresh timer */ |
1016 | /* checks whether a refresh is requested and starts the refresh timer */ |
1017 | void |
1017 | void |
1018 | rxvt_term::refresh_check () |
1018 | rxvt_term::refresh_check () |
1019 | { |
1019 | { |
1020 | if (want_refresh && !flush_ev.is_active ()) |
1020 | if (want_refresh && !flush_ev.is_active ()) |
1021 | flush_ev.start (1. / 60.); // refresh at max. 60 Hz normally |
1021 | flush_ev.start (); |
1022 | |
1022 | |
1023 | display->flush (); |
1023 | display->flush (); |
1024 | } |
1024 | } |
1025 | |
1025 | |
1026 | void |
1026 | void |