After digging through dconf editor, it seems the value "org.gnome.desktop.wm.preferences" now sets to "toggle_shade" correctly; the problem appears to be elsewhere as of this writing (e.g. GNOME's window manager not handling shade correctly).
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/958186 Title: gnome-tweak-tool inserts toggle-shade instead of toggle_shade for action_double_click_titlebar To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-tweak-tool/+bug/958186/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
