Andreas Kling f27d768745
LibGUI: Don't force flush pending paints whenever mouse moves ...
This patch removes a hack that forced any pending repaints to happen
immediately whenever you moved the mouse over a window.
The purpose of that mechanism was to ensure that quick button presses
still show up visually, and since that is now accomplished via
Widget::repaint(), we no longer need this.
2021-10-23 17:57:05 +02:00
2021-10-23 17:54:59 +02:00
2021-09-27 16:29:50 +02:00
2021-09-29 23:58:55 +02:00
2021-09-29 23:58:55 +02:00
2021-09-22 21:35:42 +02:00
2021-09-22 21:35:42 +02:00
2021-09-29 23:58:55 +02:00
2021-09-29 23:58:55 +02:00
2021-09-29 23:58:55 +02:00
2021-09-29 23:58:55 +02:00
2021-09-29 20:04:20 +02:00
2021-10-21 23:23:24 +02:00
2021-09-29 20:04:20 +02:00
2021-10-06 23:52:40 +01:00
2021-10-15 10:38:57 +02:00
2021-10-15 10:38:57 +02:00
2021-10-23 17:38:38 +02:00
2021-10-21 23:23:24 +02:00
2021-10-21 23:23:24 +02:00
2021-10-21 23:23:24 +02:00
2021-09-29 23:58:55 +02:00
2021-09-27 01:20:48 +02:00
2021-10-21 16:48:24 +02:00
2021-09-24 14:59:39 +02:00
2021-09-24 14:59:39 +02:00
2021-09-24 14:59:39 +02:00
2021-10-06 23:52:40 +01:00
2021-10-21 01:10:36 +02:00
2021-10-21 20:23:04 +01:00
2021-10-21 20:23:04 +01:00
2021-10-06 23:52:40 +01:00
2021-10-23 16:10:44 +02:00
2021-09-22 21:35:42 +02:00
2021-09-22 21:35:42 +02:00
2021-09-22 21:35:42 +02:00
2021-09-22 21:35:42 +02:00
2021-10-07 12:19:27 +02:00
2021-10-07 12:19:27 +02:00
2021-10-15 10:38:57 +02:00
2021-09-22 21:35:42 +02:00
2021-10-21 23:23:25 +02:00
2021-10-15 10:38:57 +02:00
2021-10-21 23:23:24 +02:00
2021-10-21 23:23:24 +02:00
2021-10-21 23:23:24 +02:00
2021-09-22 21:35:42 +02:00
2021-09-22 21:35:42 +02:00
2021-10-15 10:38:57 +02:00
2021-10-23 17:53:11 +02:00
2021-10-23 17:53:11 +02:00
2021-10-23 17:57:05 +02:00
2021-10-23 17:53:11 +02:00
f27d768745