Skip to content

gnome-shell-extension-tool: Fix flakiness in enable/disable

Tom Levy requested to merge (removed):issue-1525-extension-tool-gsettings-sync into master

Writes to GSettings are asynchronous. Use Gio.Settings.sync to make sure they aren't lost.

Fixes #1525 (closed).

Merge request reports