[Bug 1543099] Re: Ability to disable Hot Corner without having to install third-party extension

2017-06-08 Thread Nikita Yerenkov-Scott
** Changed in: ubuntu-gnome
   Status: New => Confirmed

** Summary changed:

- Ability to disable Hot Corner without having to install third-party extension
+ Option to disable Hot Corner

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1543099

Title:
  Option to disable Hot Corner

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-tweak-tool/+bug/1543099/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 1543099] Re: Ability to disable Hot Corner without having to install third-party extension

2016-04-07 Thread Nikita Yerenkov-Scott
** Also affects: gnome-tweak-tool via
   https://bugzilla.gnome.org/show_bug.cgi?id=761709
   Importance: Unknown
   Status: Unknown

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1543099

Title:
  Ability to disable Hot Corner without having to install third-party
  extension

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-tweak-tool/+bug/1543099/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 1543099] Re: Ability to disable Hot Corner without having to install third-party extension

2016-02-14 Thread Launchpad Bug Tracker
Status changed to 'Confirmed' because the bug affects multiple users.

** Changed in: gnome-tweak-tool (Ubuntu)
   Status: New => Confirmed

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1543099

Title:
  Ability to disable Hot Corner without having to install third-party
  extension

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu-gnome/+bug/1543099/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 1543099] Re: Ability to disable Hot Corner without having to install third-party extension

2016-02-08 Thread Nikita Yerenkov-Scott
I have also filed a report on this issue upstream:
https://bugzilla.gnome.org/show_bug.cgi?id=761709

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1543099

Title:
  Ability to disable Hot Corner without having to install third-party
  extension

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu-gnome/+bug/1543099/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs