Stefan Haller
8d7bfd131e
Move IgnoreWhitespaceInDiffView to user config
...
When toggling the value in the UI we simply overwrite the value in UserConfig;
this would be bad if there was ever a chance that we want to write the user
config back to disk, but it is very unlikely that we can do that, because
currently we have no way to tell which parts of the config come from the global
config file and which ones come from a repo-local one.
2025-07-09 13:15:03 +02:00
..
2024-04-12 08:33:47 +02:00
2024-04-12 08:33:47 +02:00
2024-01-10 09:11:40 +01:00
2025-04-09 10:40:52 +02:00
2025-06-30 19:13:20 +02:00
2024-12-01 10:59:54 +01:00
2025-06-30 16:08:03 +02:00
2025-03-20 12:31:34 +01:00
2025-03-20 12:31:34 +01:00
2025-06-30 18:30:11 +02:00
2025-07-09 12:18:58 +02:00
2025-07-09 13:15:03 +02:00
2025-07-09 13:15:03 +02:00
2023-10-08 18:45:36 +02:00
2025-03-24 08:41:58 +01:00
2025-04-09 10:44:36 +02:00
2025-06-30 19:13:20 +02:00
2025-07-09 13:15:03 +02:00
2025-03-20 12:31:34 +01:00
2025-06-30 18:30:11 +02:00
2025-07-08 16:32:21 +02:00
2025-07-08 16:32:21 +02:00
2024-05-19 16:38:21 +10:00
2025-05-01 15:21:37 +02:00
2023-07-30 18:35:23 +10:00
2025-06-30 19:13:20 +02:00
2025-06-19 18:39:46 +02:00
2025-07-03 16:56:30 +02:00
2025-05-01 15:21:37 +02:00
2025-07-09 12:18:58 +02:00
2025-06-30 18:30:11 +02:00
2025-04-29 14:57:15 +02:00
2025-06-04 20:43:01 +02:00
2024-12-01 10:59:54 +01:00
2025-07-09 12:18:58 +02:00
2025-07-09 12:18:58 +02:00
2025-05-06 09:43:26 +02:00
2025-06-30 18:30:11 +02:00
2025-07-09 13:15:03 +02:00
2025-07-09 13:15:03 +02:00
2025-04-20 15:53:17 +02:00
2025-06-30 19:13:20 +02:00
2025-07-09 12:18:58 +02:00
2025-07-09 12:18:58 +02:00
2025-06-30 16:12:33 +02:00
2025-06-30 16:12:33 +02:00
2025-06-30 16:12:33 +02:00
2024-01-10 09:18:38 +01:00
2024-01-10 09:18:38 +01:00
2025-07-09 13:15:03 +02:00
2025-07-09 13:15:03 +02:00
2025-07-09 12:18:58 +02:00
2025-07-09 12:18:58 +02:00
2023-07-30 18:35:24 +10:00