On Tue, Mar 11, 2003 at 11:15:49PM +0100, Andreas Happe wrote: > there was just the problem, that it won't startup without a > ~/.ion-devel/saves/workspace*conf. This could be a major problem for > newcomers (on the other side, should a beginner use ion-devel?)
A new version (20030311-1) has been on the web page for some time new as someone on #ion mentioned this problem. I didn't bother to notify on the mailing list because it was so soon after the release. Now you know. > Attached is a new version of my toggle_tabs patch... It might be finally time to apply the patch now that I don't have to worry about it when generalizing the frame code :). I think the best way to implement the toggle_tab feature would be to modify the xxxframe_yyy_geom functions to use 0 for bar_h when the tab is disabled. -- Tuomo
