View Javadoc

1   package fr.ove.openmath.jome.ctrlview.bidim;
2   
3   import java.awt.*;
4   import fr.ove.openmath.jome.ctrlview.bidim.*;
5   import fr.ove.openmath.jome.ctrlview.bidim.selection.events.SelectionEvent;
6   import fr.ove.openmath.jome.model.*;
7   
8   /***
9   * Layout manager that lays the display of the factorial operator
10  *
11  * @author © 1999 DIRAT Laurent
12  * @version 2.0 16/12/1999
13  */
14  public class FactorialLayout extends StringPostfixedUnaryOperatorLayout {
15      /***
16      * Returns the display of the operator
17      */
18      public Display createOperatorDisplay() {
19          Operator fts = (Operator) displayToLay.getListener();
20          // On crÈÈ un display pour l'opÈrateur.
21          StringDisplay stringDisplay = new StringDisplay(displayToLay.getGraphicContext(), "!", true);
22          stringDisplay.setIsSymbolOperatorDisplay(true);
23          
24          return stringDisplay;
25      }
26  }