Method TreeWidget

src/figtree/webui/TreeWidget.java:25–74

()

	private WebGraphics2D graphics = new WebGraphics2D(new WPainter());

	public TreeWidget() {
		treePane = new TreePane() {
			private static final long serialVersionUID = 1L; 

			@Override
			public void repaint() {
				TreeWidget.this.update();
			}

			@Override
			public Graphics getGraphics() {
				return graphics;
			}
		};

		treePane.setTreeLayout(new RectilinearTreeLayout());
		treePane.setSelectionColor(new Color(90, 108, 128));
		final TreePaneSelector selector = new TreePaneSelector(treePane);
		
		clicked().addListener(this, new Signal1.Listener<WMouseEvent>() {
			@Override
			public void trigger(WMouseEvent event) {
				int dx = event.getDragDelta().x;
				int dy = event.getDragDelta().y;
				if (dx*dx + dy*dy < 4)
					selector.mouseClicked(convertMouseEvent(event, MouseEvent.MOUSE_CLICKED));
			}
		});
		
		mouseWentDown().addListener(this, new Signal1.Listener<WMouseEvent>() {
			@Override
			public void trigger(WMouseEvent event) {
				selector.mousePressed(convertMouseEvent(event, MouseEvent.MOUSE_PRESSED));
			}
		});

		mouseWentUp().addListener(this, new Signal1.Listener<WMouseEvent>() {
			@Override
			public void trigger(WMouseEvent event) {
				selector.mouseReleased(convertMouseEvent(event, MouseEvent.MOUSE_RELEASED));
			}
		});

		mouseDragged().addListener(this, new Signal1.Listener<WMouseEvent>() {
			@Override
			public void trigger(WMouseEvent event) {
				selector.mouseDragged(convertMouseEvent(event, MouseEvent.MOUSE_DRAGGED));
			}
		});
	}
	
	MouseEvent convertMouseEvent(WMouseEvent event, int type) {
		int modifiers = 0;