Files
gio/ui
Elias Naur 326f78c341 ui/app: don't implicitly redraw for each CommandEvent
Redrawing should only be scheduled when some UI state has changed.

Window has no way to know whether a CommandEvent was ignored by
the client, so push the onus to the client to schedule a redraw.

Signed-off-by: Elias Naur <mail@eliasnaur.com>
2019-07-12 14:05:18 +02:00
..
2019-07-05 17:14:57 +02:00
2019-03-31 10:47:22 +02:00
2019-03-31 14:45:26 +02:00
2019-07-03 20:26:19 +02:00
2019-07-03 20:26:19 +02:00
2019-07-05 16:52:13 +02:00