Details
-
Improvement
-
Status: Open
-
Major
-
Resolution: Unresolved
-
Next
-
None
-
None
Description
As a plugin developer, sometimes you want to have a editor capability in your plugin. So you create a JEditorPane with the properties, that it needs and it works. You can add the mimetype and it will give you syntax highlighting and code completion etc. But one of the most important features, which you can't activate/deactivate easily are line numbers. So I know some plugins, where such JEditorPane is used, but w/o LineNumbers, which is sometimes needed. Until now, I couldn't find an easy solution to have an option to add line numbers to my editor pane, which I added into my other stuff. So I expect a function called showLineNumbers(true/false) like the function for JDialogs -> showDialog(true/false).
Of course it is not a part of the editor, because it is in front of it, but it is a part of the editor, because it interacts with the editor. You have breakpoints in there and annotations and bookmarks, which comes from the editor.
Cheers
Chris