|
From: Benjamin S. <bsa...@sl...> - 2002-11-19 15:39:05
|
This isn't actually a bug in jEdit, it's a limitation for any java app. Java has no control over whether or not a window is maximized. To get around this, jEdit simply resizes the window the the dimensions it had when it was maximized. The side effect of this is that the maximize button appears to be malfunctioning, although it's actually working according to the specifications of the OS (and I've seen the same effect on every OS I've tried it on). Interesting thought: Could the jEditLauncher app be modified to maximize the window after launching? -ben On Tue, Nov 19, 2002 at 07:30:10AM -0800, Randall R Schulz wrote: > Jonas, > > My partner just noticed this one the other day. I assume it applies only on > Windows. I'm running Win2K Pro, SP3. > > For those trapped by this glitch and unable to move or resize their jEdit > window(s), these instructions provide a way out: > > > >>Here's a different question. My JEdit always opens with the window > >>maximized, and it won't let me change that to resize the window; I can > >>only minimize it. I looked at JEdit's option, but I don't see anything > >>that has a bearing -- there are a lot of options. Is it possible to alter > >>the display size? > > > >JEdit isn't special, but it does have a bug. Of the three control icons in > >the upper-right-hand corner of the window frame, the center one is for > >minimize/maximize. That icon shows either a double-window image (when the > >window is maximized) or a single-window image (when it's "restored"). Put > >the window in its restored state (the size of the window won't > >change--that's the jEdit bug) so the single-window icon is shown (meaning > >clicking that control will put the window in its maximized state). Now you > >can use the window-frame menu (left-mouse the window icon in the > >upper-left corner of the window frame or right-mouse anywhere in the > >window's title bar) and select "size." The cursor will move to the center > >of the screen and become a crossed, four-pointed arrow. Now type an arrow > >key and an edge of the window will snap to the cursor. Now use the arrow > >keys (adding CTRL- will allow single-pixel increments) to get the edge > >where you want it and hit ENTER. Repeat this procedure in the other > >dimension (horizontal vs. vertical) to get at an edge in that dimension. > >Now you can use the usual means (dragging at an edge or corner of the > >window) to set the size as you want it. jEdit will remember this size when > >it restarts. The bug is that it remembers the size upon restart but not > >the fact that that size corresponds to a maximized window state, leading > >to the confusing and aberrant behavior you're seeing. > > > Randall Schulz > Mountain View, CA USA > > > At 01:20 2002-11-19, Jonas Olsson wrote: > > >Hi! > > > >I'm running jEdit 4.0.2 and I've noticed that it remembers it's window > >size between sessions. However, it does not remember it's state, so if I > >maximuize jEdit it will start covering the entire screen, but not actually > >maximized. > > > >/jonas > > > > ------------------------------------------------------- > This sf.net email is sponsored by: To learn the basics of securing > your web site with SSL, click here to get a FREE TRIAL of a Thawte > Server Certificate: http://www.gothawte.com/rd524.html > -- > ----------------------------------------------- > jEdit Users' List > jEd...@li... > https://lists.sourceforge.net/lists/listinfo/jedit-users -- http: slightlymad.net smtp: bsa...@sl... //jabber: bsa...@sl... * down AIM: bsarsgard ICQ: 42506676 |