Package fbench

Examples of fbench.LibraryElementView


    super(new FlowLayout(FlowLayout.LEFT, 0, 0));
    this.component = component;
   
    // If the component is a LEV we can listen for changes to the name of the file
    if(component instanceof LibraryElementView){
      LibraryElementView lev = (LibraryElementView)component;
      ((EventTarget)lev.getDocument()).addEventListener("MutationEvent", this, false);
    }
   
    this.title = new JLabel(title);
    this.closeButton = new TabCloseButton(pane, component);
   
View Full Code Here


    setBorder(BorderFactory.createEmptyBorder(2, 0, 0, 0));
  }

  public void handleEvent(Event evt) {
    if (evt instanceof MutationEvent){
      LibraryElementView lev = (LibraryElementView)component;
      title.setText(lev.getFilename(false));
      invalidate();
    }
  }
View Full Code Here

      public void keyReleased(KeyEvent evt) {}

      public void keyTyped(KeyEvent evt) {
        // TODO: gsha041: Causes issues & doesnt DISABLE use of tree
        // Fixed DOMTree -- remove mouse listener (it is a 'light-weight' component so it still listens to the mouse when disabled)
        LibraryElementView libraryElementView =
          (LibraryElementView)getParent().getParent().getParent().getParent().getParent().getParent();
        tree = libraryElementView.getTree();
        tree.setEnabled(false);
        tree.setRendererEnabled(false);
      }
    });
View Full Code Here

        updateEditedState();
        appendECActions();
      }
      // Refresh view
      //getGraphView().setElement(getElement());
      LibraryElementView fileView = FBench.theBench.getSelectedView();
      fileView.getGraphView().refresh();
      dispose();
    }
View Full Code Here

        transitionElement.setAttribute("Destination", destination);
        setComment(transitionElement);
      }
      //Refresh View
      //getGraphView().setElement(getElement());
      LibraryElementView fileView = FBench.theBench.getSelectedView();
      fileView.getGraphView().refresh();
      dispose();
    }
View Full Code Here

  private class AcceptDeleteButtonListener implements ActionListener{
    public void actionPerformed(ActionEvent evt){
      deleteElement(document.getDocumentElement().getChildNodes());
      GraphView gv = getGraphView();
      gv.setElement(getModelElement());
      LibraryElementView lev = (LibraryElementView)(gv.getParent().getParent().getParent().getParent().getParent());
      lev.getTextModel().setElement(document.getDocumentElement());
      //getGraphView().setElement(getModelElement());
      dispose();
    }
View Full Code Here

TOP

Related Classes of fbench.LibraryElementView

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.