Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#12 Cannot resize the main window

closed
nobody
None
5
2007-05-02
2003-07-20
Anonymous
No

After start jEdit pre3, the main window cannot be
resized. The size of maximum window is as the same as
the one of normal window.

Discussion

  • Logged In: YES
    user_id=578876

    Looks like it belongs to jEdit bugs.

    Which version of jEdit? Is it 4.1 pre 3 or 4.2 pre3?

     
  • Robert Schwenn
    Robert Schwenn
    2007-04-17

    • status: open --> pending
     
  • Robert Schwenn
    Robert Schwenn
    2007-04-17

    Logged In: YES
    user_id=1486645
    Originator: NO

    Is this still an issue? If so, what system and jEdit version are You using now?

     
  • Logged In: YES
    user_id=1312539
    Originator: NO

    This Tracker item was closed automatically by the system. It was
    previously set to a Pending status, and the original submitter
    did not respond within 14 days (the time period specified by
    the administrator of this Tracker).

     
    • status: pending --> closed
     
  • Matt Tucker
    Matt Tucker
    2008-01-29

    Logged In: YES
    user_id=1994957
    Originator: NO

    try editing your .jedit/perspective.xml
    !! Jedit must be closed prior to making this change in the xml. !!

    change the Geom X=, Y=, WIDTH=, HEIGHT=
    to a lesser resolution (slightly smaller than the max res of your screen).

    that's fixed the problem for me in the past.