path solving the feature request: jedit startup option (turn on/off) in its trayicon menu (OS Windows) - ID: 3606375
Submitted | bilymare - 2013-05-02 16:15:47 | Assigned | ezust |
---|---|---|---|
Priority | 5 | Labels | general |
Status | pending | Group | |
Resolution | rejected |
2013-05-02 16:15:48 bilymare |
patch from bilymare@fel.cvut.cz the-patch-solving-the-feature_request-ID_3606375.patch (13.2Kio) |
---|---|
2013-05-21 12:28:40 bilymare |
From 448dc85031b9078d29bbcf1e93caf02eac51c1c9 Mon Sep 17 00:00:00 2001
|
2013-05-21 15:39:53 ezust |
For logging errors, it is better to use the jEdit "Log" class rather than the swing
logger API.
|
2013-08-10 02:33:49 ezust |
- **assigned_to**: nobody --> ezust |
2013-08-10 02:40:03 ezust |
Here is one more comment about your patch:
|
2014-04-26 15:09:00.295000 ezust |
Also, why are there changes to win32installer.iss? It seems 3 lines are now commented
out with a ; but I don't understand why.
|
2014-04-26 15:10:45.481000 ezust |
- **status**: open --> pending-rejected |