Re: [ jEdit-users ] Remember window state

[Randall R S. <rrs...@cr...>]

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