another work around: http://www.webupd8.org/2014/08/how-t...ient-
side.html

so far as I can tell, it removes the thing that makes the problem to
begin with, but it also removes the gtk header bars.

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

Title:
  Unmaximized windows that use the gtk header bar have a barrier above
  them preventing them from touching the top panel

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

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

Reply via email to