Class ScriptEditor

java.lang.Object
edu.tufts.hrilab.action.gui.ScriptEditor

public class ScriptEditor extends Object
Script Editor. Provides fields to edit an action script. The event spec editing (main text field on the bottom) is handled by EventSpecEditor class.
  • Constructor Details

  • Method Details

    • setGMGUI

      public static void setGMGUI(DatabaseViewer gui)
    • setActionsTree

      public static void setActionsTree(JTree actionsTree)
    • setTabs

      public static void setTabs(JTabbedPane actionsTabs)
    • getID

      public String getID()
    • update

      public void update()
      Trigger component update.
    • $$$getRootComponent$$$

      public JComponent $$$getRootComponent$$$()