diff options
| author | 2021-04-29 00:25:22 +0200 | |
|---|---|---|
| committer | 2021-04-29 00:25:22 +0200 | |
| commit | ad6748e177322e29d5fe418fbc69bbc45a63af44 (patch) | |
| tree | 729a73241c82cdbfcf4d7ed8e2eebfd805004b84 /enigma-swing/src/main/java | |
| parent | Bump version (diff) | |
| download | enigma-ad6748e177322e29d5fe418fbc69bbc45a63af44.tar.gz enigma-ad6748e177322e29d5fe418fbc69bbc45a63af44.tar.xz enigma-ad6748e177322e29d5fe418fbc69bbc45a63af44.zip | |
Fix scroll speed being dependent on the line count in the file.
Closes #383.
Diffstat (limited to 'enigma-swing/src/main/java')
| -rw-r--r-- | enigma-swing/src/main/java/cuchaz/enigma/gui/panels/EditorPanel.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/enigma-swing/src/main/java/cuchaz/enigma/gui/panels/EditorPanel.java b/enigma-swing/src/main/java/cuchaz/enigma/gui/panels/EditorPanel.java index 61b48ce8..8f020b8a 100644 --- a/enigma-swing/src/main/java/cuchaz/enigma/gui/panels/EditorPanel.java +++ b/enigma-swing/src/main/java/cuchaz/enigma/gui/panels/EditorPanel.java | |||
| @@ -99,6 +99,10 @@ public class EditorPanel { | |||
| 99 | DefaultSyntaxKit kit = (DefaultSyntaxKit) this.editor.getEditorKit(); | 99 | DefaultSyntaxKit kit = (DefaultSyntaxKit) this.editor.getEditorKit(); |
| 100 | kit.toggleComponent(this.editor, "de.sciss.syntaxpane.components.TokenMarker"); | 100 | kit.toggleComponent(this.editor, "de.sciss.syntaxpane.components.TokenMarker"); |
| 101 | 101 | ||
| 102 | // set unit increment to height of one line, the amount scrolled per | ||
| 103 | // mouse wheel rotation is then controlled by OS settings | ||
| 104 | this.editorScrollPane.getVerticalScrollBar().setUnitIncrement(this.editor.getFontMetrics(this.editor.getFont()).getHeight()); | ||
| 105 | |||
| 102 | // init editor popup menu | 106 | // init editor popup menu |
| 103 | this.popupMenu = new EditorPopupMenu(this, gui); | 107 | this.popupMenu = new EditorPopupMenu(this, gui); |
| 104 | this.editor.setComponentPopupMenu(this.popupMenu.getUi()); | 108 | this.editor.setComponentPopupMenu(this.popupMenu.getUi()); |