PatR d2affc1ee3
X11 menu searching ...
I was experimenting with some potential changes to menu searching but
have not been satisfied with the result. However, this bit of code
consolidation is worthwhile regardless of that.
2018-11-14 17:26:10 -08:00
2018-11-11 10:29:52 -05:00
2016-02-10 18:25:20 -08:00
2002-01-05 21:06:02 +00:00
2018-04-25 16:54:50 -04: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
2015-11-02 01:51:58 -08:00
2015-11-02 01:51:58 -08:00
2015-11-02 01:51:58 -08: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
2018-04-25 16:54:50 -04:00
2017-10-14 13:48:44 +03:00
2018-10-16 18:09:54 +03:00
2018-11-14 17:26:10 -08:00
2018-10-21 19:30:05 +03:00
2018-10-25 15:58:22 +03:00
2018-10-24 20:04:28 +03:00
2015-12-18 07:42:23 -08:00
2015-05-25 09:21:31 +09:00
2018-10-30 17:40:22 +02:00
d2affc1ee3