@@ -57,18 +57,9 @@ public void onEditorDoubleClicked(Event arg0) {
...
@@ -57,18 +57,9 @@ public void onEditorDoubleClicked(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
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
## When to use those methods and what is stored inside