Simon Michael a4692a4a38 fix:ui: preserve --pivot (and --obfuscate) options when reloading [#2451]		2025-09-11 09:56:42 +01:00
..
UI	fix:ui: preserve --pivot (and --obfuscate) options when reloading [#2451]	2025-09-11 09:56:42 +01:00
UI.hs	;doc: main module haddock cleanups	2023-10-04 10:03:35 +01:00