Perhaps this is a new type of plugin, one that is
designed to edit a specific file type which has special
display requirements. The jEdit API would need to
allow something like this:
public class MyTextArea extends JEditTextArea {
...
}
jEdit.register( MyTextArea.class, "MyFileType");
So whenever the user opens a file of "MyFileType",
jEdit uses MyTextArea. A consequence may well be
extending Buffer and other related classes.
NetBeans offers this sort of functionality in which you
can associate a plugin with a MIME type and you are
given your own edit window to work with. But that
special edit window is treated like all the others by
the rest of the framework.
Submitted | andystreich - 2006-07-10 22:01:26 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | None |
Resolution | None |
2014-03-24 02:26:16.483000 ezust |
https://sourceforge.net/p/jedit/feature-requests/472/ |
---|---|
2014-04-01 10:28:32.360000 kpouer |
The idea is good, but the TextArea is not the only problem, it is coupled with the
EditPane.
|