コード例 #1
0
ファイル: VisualTerm.java プロジェクト: 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();
 }
コード例 #2
0
ファイル: VisualTerm.java プロジェクト: brosenan/cedalion
 public void figureUpdated() {
   context.figureUpdated();
 }