PatR
45c39e108f
more #saveoptions
...
Force windowtype to be the first option written to new RC file since
its value can affect how other options are processed. (Only saved if
comes from existing RC file, not command line.) doset() lists a few
compound options before the rest too. Combine the two sets of want-
to-be-first and move the handling for that to optlist.h where the only
cost is that the options are no longer in alphabetical order.
2022-10-13 14:03:52 -07:00
..
2022-02-04 11:01:20 -05:00
2022-03-13 13:58:56 -07:00
2022-05-05 10:26:58 -04:00
2022-07-19 21:23:26 +03:00
2022-07-19 21:23:26 +03:00
2022-10-12 02:05:32 -07:00
2020-08-03 22:07:36 -04:00
2020-08-03 22:07:36 -04:00
2021-07-24 17:52:47 -04:00
2022-07-27 12:21:07 +03:00
2022-06-30 23:48:18 -04:00
2022-06-30 23:48:18 -04:00
2022-10-08 16:06:50 -07:00
2022-08-19 10:00:47 -04:00
2020-08-03 22:07:36 -04:00
2022-09-08 10:54:11 -04:00
2021-01-26 21:06:16 -05:00
2022-06-30 23:48:18 -04:00
2022-06-30 23:48:18 -04:00
2022-10-12 02:05:32 -07:00
2022-09-08 10:54:11 -04:00
2021-10-16 12:12:21 -04:00
2022-08-23 23:27:21 +03:00
2022-09-24 04:39:12 -07:00
2022-10-03 15:53:35 -07:00
2022-07-01 08:36:03 -04:00
2022-03-11 07:33:28 -05:00
2022-06-19 02:30:45 -07:00
2020-08-03 22:07:36 -04:00
2022-09-09 11:45:30 -07:00
2020-08-03 22:07:36 -04:00
2020-08-03 22:07:36 -04:00
2022-09-28 14:11:05 -07:00
2022-08-07 22:33:47 +03:00
2022-09-20 16:54:23 -07:00
2022-09-08 12:08:37 -04:00
2022-09-13 10:27:53 -07:00
2022-10-07 01:07:43 -07:00
2022-09-15 14:17:43 -07:00
2022-01-28 08:30:08 +02:00
2022-09-27 13:32:51 -07:00
2022-10-13 14:03:52 -07:00
2022-09-22 11:36:47 +03:00
2021-10-16 12:12:21 -04:00
2021-08-21 07:59:18 -04:00
2020-08-03 22:07:36 -04:00
2021-05-23 11:11:58 +03:00
2022-06-30 23:48:18 -04:00
2021-12-19 19:31:19 -08:00
2022-07-15 13:48:29 -07:00
2022-07-23 23:11:13 -07:00
2022-06-30 23:48:18 -04:00
2022-09-08 10:54:11 -04:00
2022-09-06 10:00:07 -04:00
2022-03-02 13:09:42 -08:00
2022-08-25 23:35:36 -07:00
2020-08-03 22:07:36 -04:00
2020-08-12 16:15:28 -07:00
2021-10-16 12:12:21 -04:00
2022-09-06 08:01:50 -04:00
2022-10-04 19:09:54 -04:00
2022-08-21 11:36:39 +03:00
2022-08-25 23:35:36 -07:00
2021-10-21 08:48:23 -04:00
2021-10-16 12:12:21 -04:00
2021-10-22 12:27:10 -04:00
2022-06-30 23:48:18 -04:00
2022-09-24 10:40:38 +03:00
2022-03-16 21:27:06 -04:00
2022-07-03 00:35:32 -04:00
2022-07-03 00:35:32 -04:00
2022-10-02 20:41:02 -04:00
2022-07-03 00:35:32 -04:00
2021-01-26 10:27:51 -05:00
2020-08-03 22:07:36 -04:00
2022-07-10 11:14:10 -07:00
2022-01-11 10:25:50 -08:00