Marco Trevisan (Treviño) has proposed merging ~3v1n0/ubuntu/+source/ubuntu-settings:master into ~ubuntu-desktop/ubuntu/+source/ubuntu-settings:master.
Requested reviews: Ubuntu Desktop (ubuntu-desktop) For more details, see: https://code.launchpad.net/~3v1n0/ubuntu/+source/ubuntu-settings/+git/ubuntu-settings/+merge/371500 Update settings override to reflect upstream -- Your team Ubuntu Desktop is requested to review the proposed merge of ~3v1n0/ubuntu/+source/ubuntu-settings:master into ~ubuntu-desktop/ubuntu/+source/ubuntu-settings:master.
diff --git a/debian/changelog b/debian/changelog index 0f28d26..f20e018 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +ubuntu-settings (19.04.4ubuntu1) UNRELEASED; urgency=medium + + * ubuntu-settings.override: Move enable-hot-corners to interface + + -- Marco Trevisan (Treviño) <[email protected]> Tue, 20 Aug 2019 10:17:37 +0200 + ubuntu-settings (19.04.4) eoan; urgency=medium * ubuntu-settings.gsettings-override: diff --git a/debian/ubuntu-settings.gsettings-override b/debian/ubuntu-settings.gsettings-override index 1744687..8bd2025 100644 --- a/debian/ubuntu-settings.gsettings-override +++ b/debian/ubuntu-settings.gsettings-override @@ -63,7 +63,6 @@ logo='/usr/share/plymouth/ubuntu-logo.png' [org.gnome.shell:ubuntu] always-show-log-out = true -enable-hot-corners = false [org.gnome.desktop.background:ubuntu] show-desktop-icons = true @@ -75,6 +74,7 @@ cursor-theme = "Yaru" font-name = "Ubuntu 11" monospace-font-name = "Ubuntu Mono 13" document-font-name = "Sans 11" +enable-hot-corners = false [org.gtk.Settings.FileChooser:ubuntu] sort-directories-first = true
-- ubuntu-desktop mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-desktop
