desktop margins

TombStone tombstone at seznam.cz
Sat Oct 16 19:02:18 CEST 2004


On Sat, 16 Oct 2004 18:48:43 +0200
Olivier Fourdan <fourdan at xfce.org> wrote:

> 
> Hi
> 
> That's because the old plugin (from 4.0.6) is causing troubles. Make
> sure you remove the "margins_plugin.*" from
> /usr/lib/xfce4/mcs-plugins/(or whatever location you specified as MCS
> plugin location at compile time) and restart your envt.
> 
> HTH

well, actually it didn't. I removed those files you mentioned and
restarted xfce, but after that I had no 'desktop margins' options in
settings manager...
is in 4.1.90 some other way how to do that, or was it completly removed?

Tomas Dubec



More information about the Xfce4-dev mailing list