1 19 20 package org.netbeans.modules.xml.wsdl.ui.view.grapheditor.widget; 21 22 import java.awt.event.KeyEvent ; 23 import java.awt.event.MouseEvent ; 24 import org.netbeans.api.visual.action.WidgetAction; 25 import org.netbeans.api.visual.widget.Scene; 26 import org.netbeans.api.visual.widget.Widget; 27 28 35 public class HeaderWidget extends Widget { 36 37 private ExpanderWidget mExpanderWidget; 38 39 45 public HeaderWidget(Scene scene, ExpanderWidget expanderWidget) { 46 super(scene); 47 mExpanderWidget = expanderWidget; 48 getActions().addAction(new HeaderWidgetAction()); 49 } 50 51 54 private void toggleState() { 55 mExpanderWidget.setExpanded(!mExpanderWidget.isExpanded()); 56 } 57 58 61 private class HeaderWidgetAction extends WidgetAction.Adapter { 62 63 public WidgetAction.State keyPressed(Widget widget, 65 WidgetAction.WidgetKeyEvent event) { 66 if (event.getKeyCode() == KeyEvent.VK_ENTER) { 67 toggleState(); 68 return WidgetAction.State.CONSUMED; 69 } 70 return WidgetAction.State.REJECTED; 71 } 72 73 public WidgetAction.State mouseClicked(Widget widget, 75 WidgetAction.WidgetMouseEvent event) { 76 if (event.getButton() == MouseEvent.BUTTON1 && 77 event.getClickCount() == 2) { 78 toggleState(); 79 return WidgetAction.State.CONSUMED; 80 } 81 return WidgetAction.State.REJECTED; 82 } 83 } 84 } 85 | Popular Tags |