rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-26 20:54:22 +01:00
Code Issues Releases Activity

Implement MouseWheelListener on tabs

Browse Source 
tested with Marlin Firmware, solves #6109 #3601 #1193
This commit is contained in:
Martino Facchin 2017-09-13 16:03:03 +02:00
parent 578d34e203
commit 56dcf6bde4
1 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
app/src/processing/app/EditorHeader.java
View File

@ -27,6 +27,9 @@ import processing.app.helpers.Keys;
import processing.app.helpers.OSUtils; import processing.app.helpers.OSUtils;
import processing.app.helpers.SimpleAction; import processing.app.helpers.SimpleAction;
import processing.app.tools.MenuScroller; import processing.app.tools.MenuScroller;
import java.awt.event.MouseWheelListener;
import java.awt.event.MouseWheelEvent;
import static processing.app.I18n.tr; import static processing.app.I18n.tr;
import java.awt.*; import java.awt.*;
@ -189,6 +192,25 @@ public class EditorHeader extends JComponent {
} }
} }
}); });
this.addMouseWheelListener(new MouseAdapter() {
public void mouseWheelMoved(MouseWheelEvent e) {
if (e.getWheelRotation() > 0) {
int index = editor.getCurrentTabIndex() + 1;
if (index >= (editor.getTabs().size())) {
index = 0;
}
editor.selectTab(index);
} else {
int index = editor.getCurrentTabIndex() - 1;
if (index < 0) {
index = editor.getTabs().size() -1 ;
}
editor.selectTab(index);
}
repaint();
}
});
} }