Micah Dowty wrote:
> 
> Okay, about the panel-bar-hiding. I got that done a while ago, but the crucial file 
>widget/panel_nobar.c got lost somewhere. Luckily, I found it in a backup on my 
>laptop. I tested it and comitted it, and now that config item works fine!

:-)  BACKUPS ARE EVERYTHING !

Pascal

_______________________________________________
Pgui-devel mailing list
[EMAIL PROTECTED]
http://lists.sourceforge.net/lists/listinfo/pgui-devel

Reply via email to