[Bug 218982] Re: gnome-panel doesn't hide all the way

2010-10-30 Thread soc
@NoOp: I sent a patch some time ago to the gnome developers, adjusting the standard settings regarding autohide size, hide/unhide delay to sane values. This patch was included, so for most people the obvious symptoms are fixed. But I would suggest leaving this bug open here as a reminder, until

[Bug 218982] Re: gnome-panel doesn't hide all the way

2010-09-15 Thread Bug Watch Updater
** Changed in: gnome-panel Importance: Unknown = Wishlist -- gnome-panel doesn't hide all the way https://bugs.launchpad.net/bugs/218982 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list

[Bug 218982] Re: gnome-panel doesn't hide all the way

2010-09-15 Thread NoOp
This appears to be fixed/resolved for me in Lucid 10.04. Tested on 32 64bit. If anyone else can please test verify this bug report can be closed (for Lucid); I've not tested yet on 8.04 or 10.10. -- gnome-panel doesn't hide all the way https://bugs.launchpad.net/bugs/218982 You received this

[Bug 218982] Re: gnome-panel doesn't hide all the way

2010-04-03 Thread soc
This should probably be the default, I do that every time I setup a new system, because otherwise people will complain after a few days, that they can't maximize their windows or about the wasted sreen space etc. ... -- gnome-panel doesn't hide all the way https://bugs.launchpad.net/bugs/218982

[Bug 218982] Re: gnome-panel doesn't hide all the way

2008-05-07 Thread Pedro Villavicencio
** Changed in: gnome-panel (Ubuntu) Status: Invalid = Triaged -- gnome-panel doesn't hide all the way https://bugs.launchpad.net/bugs/218982 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list

[Bug 218982] Re: gnome-panel doesn't hide all the way

2008-05-06 Thread Tiede
I am not clear if this was tried by the bug reporter. Maybe this can fix your issue. open gconf-editor (at+F2 : gconf-editor for example) browse to apps-panel-toplevel, select your panel and set the autohide size to 3 or lesser, depending on what you want. I use 0 and have no visual feedback of

[Bug 218982] Re: gnome-panel doesn't hide all the way

2008-05-06 Thread jasonq
Fantastic, Tiede! Your fix works. The size was set to 6 by default. Who would want that? I changed it to 1 because that's the way I liked it most. -- gnome-panel doesn't hide all the way https://bugs.launchpad.net/bugs/218982 You received this bug notification because you are a member of Ubuntu

Re: [Bug 218982] Re: gnome-panel doesn't hide all the way

2008-05-06 Thread NoOp
jasonq wrote: Fantastic, Tiede! Your fix works. The size was set to 6 by default. Who would want that? I changed it to 1 because that's the way I liked it most. Confirmed here as well. Thanks Tiede! Now I wonder if the gnome-panel folks can reset to 0 or 1 as default instead of 6. --

[Bug 218982] Re: gnome-panel doesn't hide all the way

2008-04-30 Thread Sebastien Bacher
** Also affects: gnome-panel via http://bugzilla.gnome.org/show_bug.cgi?id=127973 Importance: Unknown Status: Unknown -- gnome-panel doesn't hide all the way https://bugs.launchpad.net/bugs/218982 You received this bug notification because you are a member of Ubuntu Desktop Bugs,

[Bug 218982] Re: gnome-panel doesn't hide all the way

2008-04-30 Thread Bug Watch Updater
** Changed in: gnome-panel Status: Unknown = Confirmed -- gnome-panel doesn't hide all the way https://bugs.launchpad.net/bugs/218982 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list

[Bug 218982] Re: gnome-panel doesn't hide all the way

2008-04-29 Thread NoOp
Is there a reference to the other bug report? -- gnome-panel doesn't hide all the way https://bugs.launchpad.net/bugs/218982 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com

[Bug 218982] Re: gnome-panel doesn't hide all the way

2008-04-29 Thread NoOp
@jasonq: I find the problem irritating as well. FWIW I've found the upstream bug for this problem: http://bugzilla.gnome.org/show_bug.cgi?id=127973 It does not appear that it will be fixed anytime soon. A workaround that I use is to Show hide buttons and uncheck Arrows on hide buttons so that

[Bug 218982] Re: gnome-panel doesn't hide all the way

2008-04-18 Thread Sebastien Bacher
Thanks for the bug report. This particular bug has already been reported, but feel free to report any other bugs you find. ** Changed in: gnome-panel (Ubuntu) Importance: Undecided = Low Assignee: (unassigned) = Ubuntu Desktop Bugs (desktop-bugs) Status: New = Invalid --

[Bug 218982] Re: gnome-panel doesn't hide all the way

2008-04-17 Thread jasonq
** Attachment added: Dependencies.txt http://launchpadlibrarian.net/13545260/Dependencies.txt ** Attachment added: ProcMaps.txt http://launchpadlibrarian.net/13545261/ProcMaps.txt ** Attachment added: ProcStatus.txt http://launchpadlibrarian.net/13545262/ProcStatus.txt -- gnome-panel