Originally, I was just going to move the code out of the browser.actions.xml file and into MiscUtilities
but during testing, I found and fixed a couple of bugs in related to files with spaces in the names.
So revision # 21791 moves the code into MiscUtilities (which is a new API) and also fixes some of the code
that was there before. I would like to put this into jEdit 5.0 so that plugins can use it sooner (esp. projectviewer which has duplicate bad code right now).
Jarek Czekalski
None
for 5.0.x
Public
|
Date: 2012-07-01 08:53:41 PDT Applied to 5.0 as r21894. It would be easier if there were no other changes |
|
Date: 2012-06-26 14:41:03 PDT Rev# 21880 should address all your issues. |
|
Date: 2012-06-26 07:22:36 PDT Alan, with such hasty comment and this level of your verbosity I see no way |
|
Date: 2012-06-25 10:17:52 PDT That is incorrect. |
|
Date: 2012-06-25 10:12:23 PDT There is a problem with method's signature, maybe with javadoc. |
|
Date: 2012-06-17 08:07:00 PDT Kazutoshi was not sure whether to agree on this merge. I am going to commit |
|
Date: 2012-06-14 10:47:18 PDT Rev#21801 improves the API docs for the function. |
|
Date: 2012-06-11 11:11:09 PDT I hope an exception can be made in this case. |
|
Date: 2012-06-11 10:27:35 PDT Alan, so you suggest that 5.0pre1 (already released) have different api |
|
Date: 2012-06-11 10:12:46 PDT I removed some unnecessary code in rev# 21792 so you can apply that as part |
| Field | Old Value | Date | By |
|---|---|---|---|
| status_id | Open | 2012-07-01 08:53:41 PDT | jarekczek |
| resolution_id | None | 2012-07-01 08:53:41 PDT | jarekczek |
| assigned_to | nobody | 2012-07-01 08:53:41 PDT | jarekczek |
| close_date | - | 2012-07-01 08:53:41 PDT | jarekczek |
| assigned_to | jarekczek | 2012-06-26 07:22:36 PDT | jarekczek |
| assigned_to | nobody | 2012-06-17 08:07:00 PDT | jarekczek |