When jEdit window is moved to the secondary
monitor it doesn't work entirely properly. When
resized it sets it height and width to the height and
width of the screen (correct thing to do) and then
sets the top of the menu bar several pixels down
(wrong thing to do) seemingly to accomodate the
finder menu that should be displayed at the top. Of
course, since this is the second monitor there is
not a finder menu at the top of the screen. Also, the
window is too tal as a result (the window height
does not compensate for the top being set lower).
Trying to move the menu bar into the region it
seems to believe is occupied by the finder menu
causes the window to stutter and jump back down
to the lower position. Since the window is too tall
for the screen the lower right hand corner is
unavailable (thus the window can't be resized to fit
the screen).
Nobody/Anonymous ( nobody ) - 2002-04-30 15:37:37 PDT
5
Closed
None
Slava Pestov
None
None
Public
|
Date: 2002-04-30 17:45:09 PDT Logged In: NO |