Ubuntu
gnome-tweak-tool package

Add Hot Corner on/off switch

Bug #1712104 reported by Jeremy Bícha
12
This bug affects 2 people
Affects Status Importance Assigned to Milestone
gnome-tweak-tool (Ubuntu)
Fix Released
Wishlist
Unassigned

Bug Description

didrocks pointed out that the Hot Corner is roughly a 50% love/hate thing.

If that's true (or close to it), I'd like to see a switch to turn the Hot Corner on or off, along with the other Dock settings in Ubuntu 17.10.

See original description
Jeremy Bícha (jbicha)
description: updated
Revision history for this message
Launchpad Janitor (janitor) wrote :

Status changed to 'Confirmed' because the bug affects multiple users.

Changed in gnome-control-center (Ubuntu):
status: New → Confirmed
Revision history for this message
Didier Roche-Tolomelli (didrocks) wrote :

After some discussions on IRC, Jemery is adding it to Tweaks.

affects: gnome-control-center (Ubuntu) → gnome-tweak-tool (Ubuntu)
Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package gnome-tweak-tool - 3.26.0-0ubuntu1

---------------
gnome-tweak-tool (3.26.0-0ubuntu1) artful; urgency=medium

  * New upstream release
  * Add hot-corners-switch.patch:
    - Add toggle switch for Activities Overview Hot Corner (LP: #1712104)

 -- Jeremy Bicha <email address hidden> Mon, 11 Sep 2017 16:05:35 -0400

Changed in gnome-tweak-tool (Ubuntu):
status: Confirmed → Fix Released
Jeremy Bícha (jbicha)
summary: - Add Hot Corner switch to Dock Settings
+ Add Hot Corner on/off switch
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.