Kristian Høgsberg
a83be20d7f
terminal: Show character grid size in header bar when resizing
...
We don't have a reliable way to know when to clear this indicator.
Typically the pointer will still be over the window when the resize is
done and we'll get an enter event, but if the window sets a max size
the pointer may be over another window when the resize is done.
We'll need a new wl_shell (or more likely xdg_shell) event for this.
2013-10-23 20:47:35 -07:00
..
2013-10-11 13:31:29 -07:00
2013-08-16 10:56:00 -07:00
2013-10-13 22:12:16 -07:00
2013-10-13 22:12:16 -07:00
2013-10-23 16:52:05 -07:00
2013-10-13 22:12:16 -07:00
2013-10-13 22:12:16 -07:00
2013-10-13 22:12:16 -07:00
2013-08-16 10:56:00 -07:00
2013-08-16 10:56:00 -07:00
2013-10-21 21:04:08 -07:00
2012-03-30 11:52:39 -04:00
2013-10-13 22:12:16 -07:00
2013-09-03 22:49:16 -07:00
2013-09-23 10:10:48 -07:00
2011-11-18 14:45:04 +02:00
2013-10-10 19:21:05 -07:00
2013-10-10 16:50:18 -07:00
2013-10-13 22:12:16 -07:00
2013-10-23 16:52:05 -07:00
2013-08-12 22:15:38 -07:00
2013-10-15 22:03:41 -07:00
2013-08-26 14:59:14 -07:00
2013-09-13 15:12:23 -07:00
2013-08-16 10:56:00 -07:00
2013-10-13 22:12:16 -07:00
2013-10-10 16:50:18 -07:00
2013-10-23 20:47:35 -07:00
2013-08-16 10:56:00 -07:00
2013-10-21 21:04:08 -07:00
2013-08-16 10:55:59 -07:00
2013-08-26 14:59:14 -07:00
2013-10-23 16:52:05 -07:00
2013-10-23 16:52:05 -07:00
2012-09-06 21:08:12 -04:00
2011-11-22 09:35:14 -05:00
2013-10-21 21:04:08 -07:00
2012-03-30 11:52:39 -04:00