PatR a2046669f4
X11 menu handling ...
In a couple of places, call menu_popdown instead of duplicating
its contents. I'm fairly sure that executing the is_active bit
that the duplications omitted is safe.
Several minor formatting bits are mixed in.
2021-02-26 17:06:40 -08:00
2018-11-11 10:29:52 -05:00
2021-01-26 21:06:16 -05:00
2002-01-05 21:06:02 +00:00
2020-04-03 08:21:08 +03:00
2018-11-14 17:23:28 -08:00
2018-04-25 16:54:50 -04:00
2002-01-05 21:06:03 +00:00
2020-08-09 12:36:13 -07:00
2020-08-09 12:36:13 -07:00
2020-08-03 22:07:36 -04:00
2002-01-05 21:06:03 +00:00
2002-01-05 21:06:03 +00:00
2015-06-09 19:59:38 +03:00
2002-01-05 21:06:03 +00:00
2021-01-26 21:06:16 -05:00
2021-01-26 21:06:16 -05:00
2021-01-28 21:12:06 -06:00
2021-02-26 17:06:40 -08:00
2021-01-26 21:06:16 -05:00
2021-01-28 21:12:06 -06:00
2021-02-02 20:11:43 -05:00
2021-01-26 21:06:16 -05:00
2021-01-26 21:06:16 -05:00
2021-02-22 01:10:14 -08:00
2021-02-21 17:30:09 -08:00
a2046669f4