1 Jul
2025
1 Jul
'25
11:57 a.m.
On Tue Jul 1 10:50:40 2025 +0000, Rémi Bernon wrote:
Well, the same is true for some other options already. But like I said first, I don't think that option is needed at all.
I included the option mainly because winex11 also has it, so I assumed it must be useful for some people. Perhaps it's a matter of preferring a more consistent look within the win32 app (rather than better integration with the native desktop environment). In any case, given the concerns around the option (including registry key naming, but also the duplication of the code to query it), I am fine leaving it out of this MR and revisiting as needed (if there are strong functional reasons to have the option let me know).