Re: Antidote: Diff to make window size persistent

2003-10-02 Thread Jack J. Woehr
"Jack J. Woehr" wrote: > I'll have to look at the sizing code for the editors to make this really nice. I'm starting to think we're already at that point Swing programmers reach when they realize they need a custom layout manager. -- Jack J. Woehr # You measure democracy by the freedom it S

Re: Antidote: Diff to make window size persistent

2003-10-02 Thread Jack J. Woehr
Christoph Wilhelms wrote: > > This diff makes window size persistent. It may not be the > > most important persistent property, but it sure is annoying > > to continually have to stretch the window to a size that > > allows the editor gadgets to render themselves in a > > reasonable fashion! > > F

RE: Antidote: Diff to make window size persistent

2003-10-02 Thread Christoph Wilhelms
Hi Jack! > This diff makes window size persistent. It may not be the > most important persistent property, but it sure is annoying > to continually have to stretch the window to a size that > allows the editor gadgets to render themselves in a > reasonable fashion! Fair improvement! Useful an