# HG changeset patch # User Andreas Woess # Date 1329086267 -3600 # Node ID ab4a47b6a187fc9852754fb0854e4ce73c785586 # Parent 24d9f3310ed63dbf3a8b37e0f5feadafc0b0c9e8 Visualizer: Fix range slider scrollbar. Change app.name to graalvisualizer. diff -r 24d9f3310ed6 -r ab4a47b6a187 visualizer/SnapshotsView/src/com/oracle/graal/visualizer/snapshots/SnapshotTopComponent.java --- a/visualizer/SnapshotsView/src/com/oracle/graal/visualizer/snapshots/SnapshotTopComponent.java Sun Feb 12 23:21:54 2012 +0100 +++ b/visualizer/SnapshotsView/src/com/oracle/graal/visualizer/snapshots/SnapshotTopComponent.java Sun Feb 12 23:37:47 2012 +0100 @@ -57,7 +57,7 @@ update(); } }; - + private final ChangedListener rangeSliderChangedListener = new ChangedListener(){ @Override @@ -75,7 +75,9 @@ result.addLookupListener(lookupListener); this.rangeSlider = new RangeSlider(null); this.setLayout(new BorderLayout()); - this.add(new JScrollPane(rangeSlider), BorderLayout.CENTER); + final JScrollPane scrollPane = new JScrollPane(rangeSlider); + scrollPane.getVerticalScrollBar().setUnitIncrement(RangeSlider.ITEM_HEIGHT); + this.add(scrollPane, BorderLayout.CENTER); update(); } diff -r 24d9f3310ed6 -r ab4a47b6a187 visualizer/Util/src/com/sun/hotspot/igv/util/RangeSlider.java --- a/visualizer/Util/src/com/sun/hotspot/igv/util/RangeSlider.java Sun Feb 12 23:21:54 2012 +0100 +++ b/visualizer/Util/src/com/sun/hotspot/igv/util/RangeSlider.java Sun Feb 12 23:37:47 2012 +0100 @@ -88,6 +88,7 @@ }; private void update() { + this.revalidate(); this.repaint(); } diff -r 24d9f3310ed6 -r ab4a47b6a187 visualizer/build.xml --- a/visualizer/build.xml Sun Feb 12 23:21:54 2012 +0100 +++ b/visualizer/build.xml Sun Feb 12 23:37:47 2012 +0100 @@ -3,12 +3,12 @@ - Builds the module suite IdealGraphVisualizer. + Builds the module suite Graal Visualizer. - + diff -r 24d9f3310ed6 -r ab4a47b6a187 visualizer/nbproject/build-impl.xml --- a/visualizer/nbproject/build-impl.xml Sun Feb 12 23:21:54 2012 +0100 +++ b/visualizer/nbproject/build-impl.xml Sun Feb 12 23:37:47 2012 +0100 @@ -3,7 +3,7 @@ *** GENERATED FROM project.xml - DO NOT EDIT *** *** EDIT ../build.xml INSTEAD *** --> - + diff -r 24d9f3310ed6 -r ab4a47b6a187 visualizer/nbproject/genfiles.properties --- a/visualizer/nbproject/genfiles.properties Sun Feb 12 23:21:54 2012 +0100 +++ b/visualizer/nbproject/genfiles.properties Sun Feb 12 23:37:47 2012 +0100 @@ -3,9 +3,9 @@ build.xml.stylesheet.CRC32=eaf9f76a@1.45.1 # This file is used by a NetBeans-based IDE to track changes in generated files such as build-impl.xml. # Do not edit this file. You may delete it but then the IDE will never regenerate such files for you. -nbproject/build-impl.xml.data.CRC32=3c2c6126 -nbproject/build-impl.xml.script.CRC32=b26e57e5 +nbproject/build-impl.xml.data.CRC32=3077accc +nbproject/build-impl.xml.script.CRC32=17b494f7 nbproject/build-impl.xml.stylesheet.CRC32=0f381476@2.47.1 -nbproject/platform.xml.data.CRC32=3c2c6126 +nbproject/platform.xml.data.CRC32=3077accc nbproject/platform.xml.script.CRC32=db9e1f43 nbproject/platform.xml.stylesheet.CRC32=df8ac4dd@2.47.1 diff -r 24d9f3310ed6 -r ab4a47b6a187 visualizer/nbproject/project.properties --- a/visualizer/nbproject/project.properties Sun Feb 12 23:21:54 2012 +0100 +++ b/visualizer/nbproject/project.properties Sun Feb 12 23:37:47 2012 +0100 @@ -1,5 +1,5 @@ app.icon=branding/core/core.jar/org/netbeans/core/startup/frame48.gif -app.name=idealgraphvisualizer +app.name=graalvisualizer app.title=Graal Visualizer branding.token=${app.name} modules=\