| … | |
… | |
| 1033 | } |
1033 | } |
| 1034 | |
1034 | |
| 1035 | display->flush (); |
1035 | display->flush (); |
| 1036 | } |
1036 | } |
| 1037 | |
1037 | |
| 1038 | /* checks wether a refresh is requested and starts the refresh timer */ |
1038 | /* checks whether a refresh is requested and starts the refresh timer */ |
| 1039 | void |
1039 | void |
| 1040 | rxvt_term::refresh_check () |
1040 | rxvt_term::refresh_check () |
| 1041 | { |
1041 | { |
| 1042 | if (want_refresh && !flush_ev.is_active ()) |
1042 | if (want_refresh && !flush_ev.is_active ()) |
| 1043 | flush_ev.start (1. / 60.); // refresh at max. 60 Hz normally |
1043 | flush_ev.start (1. / 60.); // refresh at max. 60 Hz normally |
