Esempi in Java per TermContext.figureUpdated

Esempio n. 1

File: VisualTerm.java Progetto: brosenan/cedalion

 public void updateFigure() throws TermVisualizationException, TermInstantiationException {
   contentFigure.dispose();
   if (contentFigure != null) {
     contentFigure.erase();
     remove(contentFigure);
   }
   contentFigure = createContentFigure(descriptor);
   add(contentFigure);
   requestFocus();
   setFocus();
   context.figureUpdated();
   navigator().refresh();
 }

Esempio n. 2

File: VisualTerm.java Progetto: brosenan/cedalion

 public void figureUpdated() {
   context.figureUpdated();
 }