Programming Languages: Java
For logging errors, it is better to use the jEdit "Log" class rather than the swing logger API. We don't use the swing logger class anywhere else in the code.
2013-05-21 08:39:54 PDT by ezust
From 448dc85031b9078d29bbcf1e93caf02eac51c1c9 Mon Sep 17 00:00:00 2001 From: Marek Bily <email@example.com> Date: Thu, 2 May 2013 17:41:24 +0200 Subject: [PATCH] the patch solving the feature: jedit startup option in its trayicon menu (OS Windows) - ID: 3606375 --- org/gjt/sp/jedit/gui/tray/JEditSwingTrayIcon.java | 122 +++++++++++++++++++++-...
2013-05-21 05:28:40 PDT by bilymare
When new version of java (java version "1.7.0_10") was installed on my machine, jEdit.exe started to write that it needs version 1.6.0. Anyway the command javaw -jar "path/to/jedit.jar" works well, so it seems to that some too restrictive check unnecessarily blocks jEdit launcher to start editor with newer Java version.
2013-05-21 01:18:56 PDT by ivopeterka
2013-05-19 10:05:30 PDT by ezust
2013-05-19 09:47:35 PDT by ezust
Hi kpouer! Thank you for the comment! I will fix and update the patch as soon as possible.
2013-05-19 07:13:09 PDT by frzsombor
2013-05-18 20:28:37 PDT by ezust
2013-05-18 19:59:19 PDT by ezust
2013-05-18 19:56:27 PDT by ezust
2013-05-18 19:49:49 PDT by ezust