Mercurial > hg > truffle

comparison src/share/tools/IdealGraphVisualizer/View/src/com/sun/hotspot/igv/view/EditorTopComponent.java @ 2957:ea1c82618273

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
IdealGraphVisualizer: Reintroduce quick search and fix its broken node selection behavior
author Peter Hofer <peter.hofer@jku.at>
date Wed, 15 Jun 2011 16:56:15 +0200
parents 53ddfe305645
children 9fe4191f46af
comparison
equal deleted inserted replaced
2956:f887649da523 2957:ea1c82618273
44 import com.sun.hotspot.igv.data.Properties; 44 import com.sun.hotspot.igv.data.Properties;
45 import com.sun.hotspot.igv.data.Properties.PropertyMatcher; 45 import com.sun.hotspot.igv.data.Properties.PropertyMatcher;
46 import com.sun.hotspot.igv.data.services.InputGraphProvider; 46 import com.sun.hotspot.igv.data.services.InputGraphProvider;
47 import com.sun.hotspot.igv.filter.FilterChainProvider; 47 import com.sun.hotspot.igv.filter.FilterChainProvider;
48 import com.sun.hotspot.igv.graph.services.DiagramProvider; 48 import com.sun.hotspot.igv.graph.services.DiagramProvider;
49 import com.sun.hotspot.igv.selectioncoordinator.SelectionCoordinator;
50 import com.sun.hotspot.igv.util.RangeSlider; 49 import com.sun.hotspot.igv.util.RangeSlider;
51 import com.sun.hotspot.igv.svg.BatikSVG; 50 import com.sun.hotspot.igv.svg.BatikSVG;
52 import com.sun.hotspot.igv.util.LookupHistory; 51 import com.sun.hotspot.igv.util.LookupHistory;
53 import java.awt.BorderLayout; 52 import java.awt.BorderLayout;
54 import java.awt.CardLayout; 53 import java.awt.CardLayout;
55 import java.awt.Color; 54 import java.awt.Color;
56 import java.awt.Graphics2D; 55 import java.awt.Graphics2D;
57 import java.awt.Point;
58 import java.awt.event.HierarchyBoundsListener; 56 import java.awt.event.HierarchyBoundsListener;
59 import java.awt.event.HierarchyEvent; 57 import java.awt.event.HierarchyEvent;
60 import java.awt.event.KeyEvent; 58 import java.awt.event.KeyEvent;
61 import java.awt.event.KeyListener; 59 import java.awt.event.KeyListener;
62 import java.beans.PropertyChangeEvent; 60 import java.beans.PropertyChangeEvent;
434 List<Figure> list = selector.selectMultiple(matcher); 432 List<Figure> list = selector.selectMultiple(matcher);
435 setSelectedFigures(list); 433 setSelectedFigures(list);
436 } 434 }
437 435
438 public void setSelectedFigures(List<Figure> list) { 436 public void setSelectedFigures(List<Figure> list) {
439 getModel().setSelectedFigures(list); 437 scene.setSelection(list);
440 scene.centerFigures(list); 438 scene.centerFigures(list);
441 } 439 }
442 440
443 public void setSelectedNodes(Set<InputNode> nodes) { 441 public void setSelectedNodes(Set<InputNode> nodes) {
444 442