Sam Atkins 6ba03dec35 WindowServer: Save config file when mouse cursor theme is changed ...

When user code requests the current cursor theme name with
`GUI::ConnectionToWindowServer::the().get_cursor_theme()`, that reads
the name from the config file. If we don't write that out when it's
changed, then users get given an outdated cursor theme instead of the
current one.

In particular, changing the theme in MouseSettings, saving and closing
it, then reopening MouseSettings, would show the wrong theme selected.
So, that's fixed now. :^)

2022-05-12 13:10:49 +02:00

87 KiB

Raw Blame History

View Raw