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
- [Pgui-devel] question Philippe Ney
- Re: [Pgui-devel] question Micah Dowty
- Re: [Pgui-devel] question Micah Dowty
- Re: [Pgui-devel] question Pascal Bauermeister
- Re: [Pgui-devel] question Micah Dowty
- Re: [Pgui-devel] question Pascal Bauermeister
- Re: [Pgui-devel] question Micah Dowty
