TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-18 17:34:43 -04:00
Code Issues Packages Projects Releases Wiki Activity

increases the mouse wheel speed

Browse Source
This commit is contained in:
hneemann 2019-07-25 17:57:13 +02:00
parent 2e78699c41
commit 85de9456c5
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/main/java/de/neemann/digital/gui/components/table/AllSolutionsDialog.java
View File

@ -36,7 +36,9 @@ public class AllSolutionsDialog extends JDialog {
expressionComponent.setPreferredSize(Screen.getInstance().scale(new Dimension(600, 300))); expressionComponent.setPreferredSize(Screen.getInstance().scale(new Dimension(600, 300)));
expressionComponent.setFont(font); expressionComponent.setFont(font);
getContentPane().add(new JScrollPane(expressionComponent)); final JScrollPane scrollPane = new JScrollPane(expressionComponent);
scrollPane.getVerticalScrollBar().setUnitIncrement(16);
getContentPane().add(scrollPane);
addWindowListener(new WindowAdapter() { addWindowListener(new WindowAdapter() {
@Override @Override