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.
|