Menu

#334 Keep JVM params in jedit.l4j.ini

closed-out-of-date
None
5
2012-04-20
2010-04-19
No

New Windows installer copies jedit.l4j.ini into jEdit folder. But it might have user modified JVM params.
I provide a patch file to retain previous settings for upgrade install.

Discussion

  • Hisateru Tanaka

    Hisateru Tanaka - 2010-04-19
     
  • Kazutoshi Satoda

    Why the operation is separated into two procedures before/after install?
    Couldn't they all be done in UpdateLaunch4jIniFile? Also, the assignment
    "l4jIniPrevContent := jvmOptions('')", which seems consequence of the
    separation, looks strange; default JVM options is not the previous
    content.

     
  • Kazutoshi Satoda

    • assigned_to: nobody --> k_satoda
     
  • Alan Ezust

    Alan Ezust - 2011-11-25

    Really, soon there will be nothing in that file anyway. Is there a way to put comments in a file of that format, so people know what they can do with it? Otherwise it's just an empty 0 byte file in jEdit 5.

     
  • Alan Ezust

    Alan Ezust - 2011-11-25
    • assigned_to: k_satoda --> vampire0
     
  • Björn Kautler

    Björn Kautler - 2011-12-01
    • status: open --> pending-rejected
     
  • Björn Kautler

    Björn Kautler - 2011-12-01

    The only option that is in this file will most probably soon be gone and thus the file will be gone from the installer which will also make the problem go away.

     
  • Jarek Czekalski

    Jarek Czekalski - 2012-04-20
    • status: pending-rejected --> closed-out-of-date
     
  • Jarek Czekalski

    Jarek Czekalski - 2012-04-20

    The file is really gone in daily build.

     

Log in to post a comment.