From: SourceForge.net <no...@so...> - 2006-07-07 12:46:23
|
Feature Requests item #1518709, was opened at 2006-07-07 05:46 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=438938&aid=1518709&group_id=44253 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: User interface Group: None Status: Open Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: Interface to open files into an existing DrJava instance. Initial Comment: I use the Windows compiled executable of DrJava, but this should presumably apply to the .jar file as well. There should be a way to open the files passed to the .jar file (and, hence, to the Windows executable) preferentially in an existing running instance of DrJava. If that didn't make sense, let me try a different method of explanation. How it works now: You double-click a .java file, it opens an instance of DrJava, which in turn opens the file. Fine. But now suppose you double-click a new .java file; then it opens a second instance of DrJava, which in turn opens the file. How it should work: You double click a .java file. It gets sent to an intermediary application/method that checks whether an instance of DrJava is running already. If one isn't, then it opens a new instance of DrJava, which can then open the file. If one is, then it tells the preexisting instance of DrJava to open the file. This is a rather standard functionality for Windows programs, but I don't know how you'd implement it in a Java program. Separate instances of the JVM, as far as I know, don't know about each other and each other's components in Java. Submitted by Chris Drost http://kentox.livejournal.com/ cr...@co... ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=438938&aid=1518709&group_id=44253 |