if (fig instanceof EditorFigNode) { ((EditorFigNode) fig).showProperties(editor.findFrame());
if (fig instanceof ModuleFigNode) { ((ModuleFigNode) fig).showProperties(editor.findFrame());
    public void doIt() {        Editor editor = Globals.curEditor();        Vector figs = editor.getSelectionManager().getFigs();        if (figs.size() == 1) {            Fig fig = (Fig) figs.firstElement();            if (fig instanceof EditorFigNode) {                ((EditorFigNode) fig).showProperties(editor.findFrame());            }        }    }