Hi, bit of a vague "bug" report: I use Ion3 on a laptop which gets rebooted 6-10 times a week. I've got one workspace with a floating split. Every time I exit Ion I do it "properly" via menu Session -> Exit. I've set up one workspace with a floating split into two "overlapping columns" where the width was 18 1/2 cm on my screen. Over the course of a 2--3 weeks of reboots the two columns narrow down to about 15 1/2 cm, at which point I consciously notice it and reset the column widths with the mouse. This has happened 3 times so far. I'm running the same applications (xterm, emacs, fltk app) in those windows session after session, so if it was due to "rounding to the app's size increment step" I'd expect the size to hit a fixed point and stay there (he says as if he really understood how these things work :-) ).
AFAICT this doesn't happen with not-floating-split splits. It's not a bug that's any big problem to compensate for, but if it's due to something obvious like a rounding artifact that's easily fixable... -- __cheers, dave____________________________________________ homepages.inf.ed.ac.uk/dtweed/ tel: +44 131 651 3447 JCMB, Kings Buildings, Edinburgh fax: +44 131 651 3435 X wrote a book about this, which Y was carrying around for a long time with little discernible effect -- John Baez
