Package | Description |
---|---|
org.jeditor.gui |
The presentation package for managing scripts presentation and modification.
|
Modifier and Type | Field and Description |
---|---|
protected Gutter |
AbstractGutterHandler.gutter
The Gutter.
|
Modifier and Type | Method and Description |
---|---|
Gutter |
AbstractGutterHandler.getGutter()
Rturn the Gutter.
|
Gutter |
JEditor.getGutter()
Returns the gutter to the left of the editor or null if the gutter is disabled
|
Modifier and Type | Method and Description |
---|---|
default void |
GutterHandler.handleChangeWidth(Gutter gutter,
int gutterWidth)
Called when the gutter width is changed.
|
boolean |
GutterHandler.handleClick(Gutter gutter,
int mouseButton,
int x,
int y)
Called for a click on the gutter.
|
void |
GutterHandler.handleMoved(Gutter gutter,
int x,
int y)
Called for a mouse moved on the gutter.
|
void |
AbstractGutterHandler.setGutter(Gutter gutter)
Set the Gutter.
|
Constructor and Description |
---|
AbstractGutterHandler(Gutter gutter)
Constructor.
|
Copyright © 2016, 2017, 2018, 2019, 2023 Herve Girod. All Rights Reserved. Documentation and source under the MIT licence