Ejemplos de TermContext.figureUpdated en Java

Ejemplo n.º 1

Archivo: VisualTerm.java Proyecto: 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();
 }

Ejemplo n.º 2

Archivo: VisualTerm.java Proyecto: brosenan/cedalion

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