PatR
be9a2c2907
X11: persistent inventory issues and hack for OSX
...
This hack prevents the perm_invent window for X11 on OSX from
creeping every time it gets updated. It is far from perfect and
at the very least ought be handled via user settable X resources
rather than hardcoded values, but it's as much effort as I'm likely
to spend.
Add a new file containing a list of issues that ought to be fixed.
The initial entries are things I noticed while experimenting with
perm_invent; there is lots of older stuff that could/should be
there too. I'm not sure whether the first one is OSX-specific; the
others aren't.
2021-02-12 15:07:51 -08:00
..
2018-11-11 10:29:52 -05:00
2020-02-15 13:08:34 -08:00
2020-08-03 22:07:36 -04:00
2018-04-25 16:54:50 -04:00
2020-01-14 12:01:30 -05:00
2018-09-21 16:36:38 -04:00
2018-09-21 18:12:42 -07:00
2018-09-21 18:12:42 -07:00
2018-09-21 14:57:12 -04:00
2018-04-25 16:54:50 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 18:12:42 -07:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 18:12:42 -07:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2018-09-21 18:12:42 -07:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2003-05-11 13:40:01 +00:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2020-11-28 08:59:03 -05:00
2019-05-09 17:15:14 -07:00
2019-12-03 23:32:12 -05:00
2020-11-28 08:59:03 -05:00
2020-01-27 18:11:43 -05:00
2020-03-07 10:47:51 -08:00
2021-02-12 15:07:51 -08:00
2016-06-19 19:52:28 -04:00
2020-02-14 18:15:25 -08:00
2020-02-15 14:42:00 -08:00
2021-02-11 10:38:43 -05:00
2021-02-11 10:38:43 -05:00
2021-02-11 10:38:43 -05:00
2021-02-10 22:06:36 +02:00
2021-01-03 13:37:25 -06:00
2021-01-04 12:52:42 -05:00
2018-11-11 10:29:52 -05:00
2020-01-14 12:02:10 -05:00
2018-11-11 10:29:52 -05:00
2020-01-14 12:02:26 -05:00
2020-01-19 23:09:53 -05:00
2020-01-20 08:52:59 -05:00
2021-01-30 12:28:23 -05:00
2018-04-25 16:54:50 -04:00
2020-01-14 12:02:57 -05:00
2018-09-20 18:02:48 -04:00
2020-08-03 22:07:36 -04:00
2021-01-05 10:44:19 -05:00