Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#1242 "Finish Him!"/"Scala plugin" replaces edit mode catalog file

open
nobody
None
8
2009-12-24
2009-11-04
Wormbo
No

I wanted to try the Finish Him! plugin, but found that one of my user edit modes was replaced by the default version. Upon further investigation I found that the content of the catalog file in the user edit modes directory was replaced by:
----
<?xml version="1.0"?>
<!DOCTYPE MODES SYSTEM "catalog.dtd">

<MODES>
<MODE NAME="scala" FILE="scala.xml" FILE_NAME_GLOB="*.scala" />
</MODES>
----
That's obviously not a very user-friendly behavior and should be changed to integrate the scala edit mode definition into the existing catalog file.

Discussion

  • Alan Ezust
    Alan Ezust
    2009-12-24

    looks like user sickill has not joined the actual jedit project. I 'm not sure if he sees this, but I can't assign it to him.
    I will e-mail him now.

     
  • Alan Ezust
    Alan Ezust
    2009-12-24

    • priority: 5 --> 8