![Florian Müllner](/assets/img/avatar_default.png)
Move preferences to GSettings, using mainly shared schemas from gsettings-desktop-schemas. Unlike GConf, GSettings support is not optional, as Gio is already a hard dependency of GTK+. https://bugzilla.gnome.org/show_bug.cgi?id=635378
7 lines
340 B
Plaintext
7 lines
340 B
Plaintext
[org.gnome.mutter]
|
|
overlay-key = /apps/mutter/general/overlay_key
|
|
attach-modal-dialogs = /apps/mutter/general/attach_modal_dialogs
|
|
live-hidden-windows = /apps/mutter/general/live_hidden_windows
|
|
workspaces-only-on-primary = /apps/mutter/general/workspaces_only_on_primary
|
|
draggable-border-width = /apps/mutter/general/draggable_border_width
|