See: Description
| Interface | Description |
|---|---|
| CodeEditorPainter.Highlight |
Highlight interface.
|
| EditorExceptionListener |
Called when an exception is encountered when using the editor.
|
| EditorPopup |
An popup usable with the JEditor.
|
| EditorStateListener |
An interface for listeners which are fired by modifications in the JEditor.
|
| GutterHandler |
The GutterHandler allows to draw custom elements or show custom Popup menus on the Gutter.
|
| InputHandler.MacroRecorder |
Macro recorder.
|
| InputHandler.NonRecordable |
If an action implements this interface, it should not be recorded by the macro recorder.
|
| InputHandler.NonRepeatable |
If an action implements this interface, it should not be repeated.
|
| InputHandler.Wrapper |
For use by EditAction.Wrapper only.
|
| Class | Description |
|---|---|
| AbstractContextEditorPopup |
A popup menu which is aware of the position of the menu in the editor line and column.
|
| AbstractDialogPane |
This class is an abstract Dialog pane, with a yes/no Buttons at the bottom of the dialog.
|
| AbstractEditorPopup |
An abstract popup usable with the JEditor.
|
| AbstractGutterHandler |
The AbstractGutterHandler is a
GutterHandler which allows to:
Show a specific image on specific lines
Have a custom behavior upon clicking on the Gutter
Have a custom behavior upon hovering on a line the gutter, such as for example showing a tooltip
Example
The following handler:
Handles a right-click on the gutter and shows a menu for each line
Shows a tooltip on lines which paint an image
private class MyGutterHandler extends AbstractGutterHandler {
public boolean handleClick(Gutter gutter, int mouseButton, int x, int y) {
if (mouseButton == MouseEvent.BUTTON3) {
JPopupMenu menu = new JPopupMenu();
int number = gutter.getLineNumber(y);
menu.add(new JMenuItem("An Action on " + number));
menu.show(gutter, x, y);
return true;
} else {
return false;
}
}
public void handleMoved(Gutter gutter, int x, int y) {
int number = gutter.getLineNumber(y);
if (isPainting(number)) {
this.showTooltip("The tooltip on line" + number);
} else {
this.hideTooltip();
}
}
}
|
| CodeEditorHighlighter |
Manage the highlighting of text.
|
| CodeEditorHighlighter.Highlight |
Represents a highlight on a line which encompass the entire line.
|
| CodeEditorHighlighter.HighlightZone |
Represents a highlight on a zone in a line.
|
| CodeEditorHighlighter.ZoneHighlight |
Represents a highlight on a line which can encompass several zones on the line.
|
| CodeEditorPainter |
The text area repaint manager.
|
| DefaultEditorPopup |
A default popup which presents Cut, Copy,Paste, and Search items.
|
| DefaultInputHandler |
The default input handler.
|
| Gutter |
The Gutter implementation.
|
| InputHandler |
An input handler converts the user's key strokes into concrete actions.
|
| InputHandler.backspace | |
| InputHandler.backspace_word | |
| InputHandler.delete | |
| InputHandler.delete_word | |
| InputHandler.document_end | |
| InputHandler.document_home | |
| InputHandler.end | |
| InputHandler.home | |
| InputHandler.insert_break | |
| InputHandler.insert_char | |
| InputHandler.insert_tab | |
| InputHandler.next_char | |
| InputHandler.next_line | |
| InputHandler.next_page | |
| InputHandler.next_word | |
| InputHandler.overwrite | |
| InputHandler.prev_char | |
| InputHandler.prev_line | |
| InputHandler.prev_page | |
| InputHandler.prev_word | |
| InputHandler.redo | |
| InputHandler.repeat | |
| InputHandler.select_all | |
| InputHandler.shift_left | |
| InputHandler.shift_right | |
| InputHandler.toggle_rect | |
| InputHandler.undo | |
| JEditor |
jEdit's editor component.
|
| JEditor.KeyBinding |
Binding record for creating key bindings.
|
| SearchDialog |
This class is a Search Dialog.
|
| SearchEngine |
The Search engine.
|
The presentation package for managing scripts presentation and modification.
Copyright © 2016, 2017, 2018, 2019, 2023 Herve Girod. All Rights Reserved. Documentation and source under the MIT licence