On Mon, Mar 31, 2003 at 02:40:53PM +0200, Andreas Zwinkau wrote:
>
> Where must i put something like
> >region "WWorkspace", "main" {
> > region "WFrame" {
> > target_id 4100
> > }
> >}
> into the ~/.ion/workspaces-:0.0.conf or must i create a workspaces.conf?
>
Rename one of the frames interactively, with query_renameframe
function, and see how ion change the config file
(with the latest ion-devel is
.ion-devel/saves/workspaces-:0.0.conf).
Then you can try changing the other frames directly in the
config file (while not running Ion, or they get overwritten
I think). Or, if you only have to rename a few of them, you can
just use query_renameframe and be done.
Ciao
----
FB
