On Friday, 18. February 2005 22:19, Sébastien Laoût rakstija:

> Yes, but what is the interest of hidding the menu bar if in fact it is
> replaced by another bar.

Much smaller. And idea is in fact the same as existing "Shade" option for 
windows. Good idea, I mean. 

> Yes this ghost bar is smaller, but why a user would want to just gain a
> few pixels?

"Ghost bar" might be initial default option, still with possibility to switch 
it off later if user wants to.  It would be for inexperienced users. 

> There are two situations (IMHO) when the menubar hidding is a good
> thing:

Sure!  Might be even more than two situations :)  Full hiding must still be 
possible.

> Perhapse another option to disable the ghost menubar?

Why not?  When user gets more used to environment and finds out how to disable 
the Ghost, he/she probably will be able to use this opton consciously. 

Harry
_______________________________________________
kde-usability mailing list
kde-usability@kde.org
https://mail.kde.org/mailman/listinfo/kde-usability