Menu
▾
▴
[ jEdit-devel ] [ jedit-Merge Requests-3534174 ] MiscUtilities.openInDesktop() in jEdit 5.0
|
From: SourceForge.net <no...@so...> - 2012-06-11 17:27:35
|
Merge Requests item #3534174, was opened at 2012-06-10 11:41 Message generated for change (Comment added) made by jarekczek You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1235750&aid=3534174&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: for 5.0.x Status: Open Resolution: None Priority: 5 Private: No Submitted By: Alan Ezust (ezust) Assigned to: Nobody/Anonymous (nobody) Summary: MiscUtilities.openInDesktop() in jEdit 5.0 Initial Comment: 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). ---------------------------------------------------------------------- >Comment By: Jarek Czekalski (jarekczek) Date: 2012-06-11 10:27 Message: Alan, so you suggest that 5.0pre1 (already released) have different api than 5.0 or 5.0pre2? I remember someone said recently that it shouldn't be done, but I don't see any written rule about that. ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2012-06-11 10:12 Message: I removed some unnecessary code in rev# 21792 so you can apply that as part of this merge request too. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1235750&aid=3534174&group_id=588 |