From: SourceForge.net <no...@so...> - 2008-11-23 04:06:09
|
Bugs item #2321838, was opened at 2008-11-22 02:20 Message generated for change (Comment added) made by k_satoda You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=2321838&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: None >Status: Open Resolution: Fixed Priority: 5 Private: No Submitted By: Kazutoshi Satoda (k_satoda) Assigned to: Matthieu Casanova (kpouer) Summary: Dropped file is unexpectedly opened in both of split panes Initial Comment: With jEdit 4.3pre16, having a couple of editpane, which the both have editpane-scope bufferset, when a file is dropped to inactive one, the file is opened in both. I expect it should open the file in the dropped pane, and nothing happens on the other pane. If the file is dropped to active one, it works as expected. ---------------------------------------------------------------------- >Comment By: Kazutoshi Satoda (k_satoda) Date: 2008-11-23 13:06 Message: I think the addition of a new method is good, but I couldn't confirm the fix at r14093 (Windows XP, JDK 6u10). The behavior is still same as reported. Could you see the behavior is fixed? ---------------------------------------------------------------------- Comment By: Matthieu Casanova (kpouer) Date: 2008-11-23 05:33 Message: Fixed in the trunk. The problem was that we open the files with jEdit.openFile(view ...) and when using a view the file is added to the active textArea by default. So I added methods to open files in an EditPane in jEdit. It could cause source incompatibility for those who open files with null argument for the view (but I think the binary compatibility is not broken so I don't think it is a big problem). ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=2321838&group_id=588 |