[Bug 1727421] Re: Desktop focus border radius not matching overview panel border radius

2018-05-29 Thread Launchpad Bug Tracker
[Expired for gnome-shell (Ubuntu) because there has been no activity for 60 days.] ** Changed in: gnome-shell (Ubuntu) Status: Incomplete => Expired -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.

[Bug 1727421] Re: Desktop focus border radius not matching overview panel border radius

2018-03-30 Thread Daniel van Vugt
I think you're asking for two things here: (1) A thinner border (which I disagree with - it should stay thick and highly visible like the window borders and panel underlines); and (2) Adding rounded corners. Can we make this bug about just #2? ** Changed in: gnome-shell (Ubuntu) Importance:

[Bug 1727421] Re: Desktop focus border radius not matching overview panel border radius

2017-10-25 Thread Daniel van Vugt
** Tags added: visual-quality ** Changed in: gnome-shell (Ubuntu) Importance: Undecided => Low -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1727421 Title: Desktop focus