Files
gio/ui
Elias Naur abb9d291e9 ui/app: don't buffer the app event channel
We used to buffer input events to allow for batch processing
multiple events before redrawing. Now that redraws are scheduled to
run after the native event queue is empty, buffering is no longer
necessary.

Signed-off-by: Elias Naur <mail@eliasnaur.com>
2019-04-02 17:22:58 +02:00
..
2019-04-02 17:09:06 +02:00
2019-03-31 10:47:22 +02:00
2019-04-02 17:09:06 +02:00
2019-03-31 10:47:22 +02:00
2019-03-31 10:47:22 +02:00
2019-04-02 17:09:06 +02:00
2019-04-02 17:09:06 +02:00
2019-04-02 17:09:06 +02:00
2019-04-02 17:09:06 +02:00
2019-04-02 17:09:06 +02:00
2019-03-31 14:45:26 +02:00
2019-03-31 11:00:26 +02:00
2019-03-31 10:47:22 +02:00
2019-03-31 14:45:26 +02:00
2019-03-31 14:45:26 +02:00