... | ... | @@ -47,8 +47,16 @@ public void onEditorDoubleClicked(Event arg0) { |
|
|
public void onEditorMouseUp(Event arg0) {
|
|
|
|
|
|
public void onEditorMouseDown(Event arg0) {
|
|
|
|
|
|
public void onEditorTextSelectionChanged(Event arg0) {
|
|
|
|
|
|
public void onEditorMouseMoved(Event e) {
|
|
|
|
|
|
public void onEditorKeyPressed(Event arg0) {
|
|
|
```
|
|
|
|
|
|
Those methods get called, whenever the editor was scrolled (horizontally or vertically), if the right click menu of the editor is requested or if any mouse button was pressed
|
|
|
|
|
|
```java
|
|
|
|
|
|
public void onEditorDoubleClicked(Event arg0) {
|
... | ... | @@ -61,6 +69,6 @@ public void onEditorDoubleClicked(Event arg0) { |
|
|
|
|
|
public void onEditorMouseDown(Event arg0) {
|
|
|
```
|
|
|
Those methods get called, whenever the editor was scrolled (horizontally or vertically), if the right click menu of the editor is requested or if any mouse button was pressed
|
|
|
|
|
|
|
|
|
|