On Fri, Feb 21, 2003 at 11:13:32AM +0100, [EMAIL PROTECTED] wrote:
>
> the only (known) drawback of this patch is, that it will ignore your old
> workspace configuration files (~./ion-devel/workspaces-*) and replace it
> with its version (with an added flag).
As we've discussed, the current format of the workspace configuration
files is a bit of a problem. Each frame should have its own block.
Instead of:
frame 4096, "myframe", FALSE
It'd be:
frame {
id 4096
name "myframe"
show_tabs FALSE
}
Which is much more flexible, and additions to frame configurations
will always be backwards-compatible.
/Pelle
