settings manager and settings dialogs

[Jannis Pohlmann]

Hey Juha,

Am Sat, 30 Aug 2008 17:36:42 +0300
schrieb Juha <kautto.juha at kolumbus.fi>:

> Hi !
> 
> I did not find workspace margin settings anymore anywhere?
> They used to be in the workspace settings, but now that has
> only the number of workspaces setting. Are those removed
> permanently or just missing or have they been moved somewhere
> where I could not find?

no, they are missing at the moment. But they'll be added again before
4.6 is out. They might not make it into the alpha though.

  - Jannis