Re: gnome terminal




> After hiding menu bar, there's no way to get it back? Maybe showing a
> popup menu with right mouse click?

I have made button-3 do this IFF the running application is not taking 
the mouse events.

-- 
miguel@gnu.org



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]