Package vg.core.event

Examples of vg.core.event.UIEventChangeView


        }
        case DEF_CHANGE_VIEW: {
          if (this.view != null) {
            this.view.deleteObserver(this.observer);
          }
          UIEventChangeView bufEvent = (UIEventChangeView) event;
          this.view = bufEvent.getView();
          if (this.view != null) {
            this.view.addObserver(this.observer);           
          }
          cycleSearcher.changeView(view);
          criticalPathSearcher.changeView(view);
View Full Code Here


        if(arg instanceof AUIEvent) {
          AUIEvent event = (AUIEvent)arg;
          switch(event.getType()) {
            case DEF_CHANGE_VIEW:
            {
              UIEventChangeView bufEvent = (UIEventChangeView)event;
              FilterPlugin.this.view = bufEvent.getView();
              if(FilterPlugin.this.filter.isVisible()) {
                FilterPlugin.this.filter.setSubGraph(FilterPlugin.this.view);
              }
              break;
            }
View Full Code Here

              SimpleNavigator.this.closeTab(tabId);
              break;
            }
            case DEF_CHANGE_VIEW:
            {
              UIEventChangeView bufEvent = (UIEventChangeView)event;
              int tabId = bufEvent.getTabId();
              SimpleNavigator.this.selectTabInNavigator(tabId);
              break;
            }
            case DEF_RENAME_TAB:
            {
              UIEventRenameTab bufEvent = (UIEventRenameTab)event;
              GraphNode tabNode = SimpleNavigator.this.rootNode.getNode(bufEvent.getTabId(), ENodeType.DEF_TAB);
              if(tabNode != null) {
                tabNode.setName(bufEvent.getNewName());
              } else {
                VisualGraph.log.printError("[" + this.getClass().getName()+".update] [BAD] Renaming of tab.");
              }
              break;
            }
View Full Code Here

    if(obj instanceof AUIEvent) {
      AUIEvent event = (AUIEvent)obj;
      switch(event.getType()) {
        case DEF_CHANGE_VIEW:
        {
          UIEventChangeView bufEvent = (UIEventChangeView)event;
          this.view = bufEvent.getView();
          break;
        }
      }
    }
  }
View Full Code Here

            });
            break;
          }
          case DEF_CHANGE_VIEW:
          {
            UIEventChangeView bufEvent = (UIEventChangeView)event;
            IGraphView igv = bufEvent.getView();
            this.zoomIn.changeView(igv);
            this.zoomOut.changeView(igv);
            this.zoomBox.changeView(igv);
            break;
          }
View Full Code Here

    if(arg instanceof AUIEvent) {
      AUIEvent event = (AUIEvent)arg;
      switch(event.getType()) {
        case DEF_CHANGE_VIEW:
        {
          UIEventChangeView bufEvent = (UIEventChangeView)event;
          setGraphView(bufEvent.getView());
          break;
        }
        case DEF_CHANGE_UI_STYLE:
        {
          updateUITheme();
View Full Code Here

        if(arg instanceof AUIEvent) {
          AUIEvent event = (AUIEvent)arg;
          switch(event.getType()) {
            case DEF_CHANGE_VIEW:
            {
              UIEventChangeView bufEvent = (UIEventChangeView)event;
              view = bufEvent.getView();
              if(filter.isVisible()) {
                filter.changeView(view);
              }
              break;
            }
View Full Code Here

            case DEF_CHANGE_UI_STYLE: {
              SearchPlugin.this.searchPanel.updateUITheme();
              break;
            }
            case DEF_CHANGE_VIEW: {
              UIEventChangeView buf = (UIEventChangeView)event;
              SearchPlugin.this.searchPanel.changeView(buf.getView());
              break;
            }
            case DEF_RESET: {
              SearchPlugin.this.searchPanel.reset();
              break;
View Full Code Here

      public void stateChanged(ChangeEvent e) {
        int index = tabs.getSelectedIndex();
        if(index >= 0) {
          for(Integer buf : comTabIdAndTab.keySet()) {
            if((int)comTabIdAndTab.get(buf) == index) {
              UIEventChangeView event = new UIEventChangeView(buf, comTabIdAndGraphView.get(buf));
              parameter.userInterface.addEvent(event);
              break;
            }
          }   
        } else {
          //if all tabs close
          UIEventChangeView event = new UIEventChangeView(-1, null);
          parameter.userInterface.addEvent(event);         
        }
      }
    });
    // ctrl-tab and ctrl-shift-tab
View Full Code Here

  public void update(Observable o, Object arg) {
    if (arg instanceof AUIEvent) {
      AUIEvent event = (AUIEvent) arg;
      switch (event.getType()) {
        case DEF_CHANGE_VIEW: {
          final UIEventChangeView bufEvent = (UIEventChangeView) event;

          if(SwingUtilities.isEventDispatchThread()) {
            synchronized (theMutexObject) {
              updateView(bufEvent.getView());
            }
          } else {
            SwingUtilities.invokeLater(new Runnable() {
              public void run() {
                synchronized (theMutexObject) {
                  updateView(bufEvent.getView());
                }
              }
            });           
          }
          break;
View Full Code Here

TOP

Related Classes of vg.core.event.UIEventChangeView

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.