Henrik Lissner a22c035815
ui/popup: ensure existing buffers are reused ...
This resolves an issue where the popup manager would open another popup
if a previous one had been raised. The popup manager now delegates to
the existing buffer if it already exists (without resizing it).
2019-05-15 15:22:09 -04:00
2018-12-23 23:54:27 -05:00
2019-03-17 23:19:55 -04:00
2019-05-15 15:22:08 -04:00
2019-05-09 21:31:23 -04:00
2019-04-01 13:44:20 -04:00
2019-05-13 19:34:44 -04:00
2019-05-13 19:34:44 -04:00
2019-04-24 18:16:05 -04:00
2018-10-31 14:45:51 -04:00
2019-04-24 18:16:04 -04:00
2019-05-15 15:22:09 -04:00
2018-12-22 04:25:15 -05:00
2018-10-03 11:15:51 -04:00
2019-05-10 11:38:34 -04:00
2019-03-04 20:47:26 -05:00
2019-05-06 02:14:14 -04:00
2018-05-25 00:46:16 +02:00
2019-05-09 21:44:19 -04:00
2019-05-09 21:31:23 -04:00
a22c035815