Examples of ket.display.ColourSchemeDecorator


  public void paint(Graphics g) {
    Graphics2D g2D = (Graphics2D) g;
    setupAntialiasing(g2D);


    ColourSchemeDecorator colourScheme = document.getColourScheme();
    Color backgroundColour = colourScheme.getBackgroundColour();
    Color argColour = colourScheme.getArgColour(0);
    Color borderColour = colourScheme.getBorderColour();


    // (Don't cut the last pixel off).
    g2D.setColor(backgroundColour);
    g2D.fillRect(0, 0, Integer.MAX_VALUE, Integer.MAX_VALUE);

  public Document(DocumentManager documentManager, JFrame existingFrame, String filename, boolean editable) {
    boxFontSize = Box.DEFAULT_BOX_FONT_SIZE; 
    this.documentManager = documentManager;
    this.mathCollection = new MathCollection(documentManager!=null?documentManager.getKnownArguments():Ket.KNOWN_ARGUMENTS);
    this.modes = new Modes(this);
    this.colourScheme = new ColourSchemeDecorator(ColourScheme.WHITEBOARD, mathCollection, modes.getSearch(), modes);
    this.ketPanel = new KetPanel(this);
    this.ketPanel.setPreferredSize(new Dimension(FrameManager.SCREEN_WIDTH, FrameManager.SCREEN_HEIGHT));
    this.frameManager = new FrameManager(documentManager, this, existingFrame);
    this.keyboardEventHandler = new KeyboardEventHandler(this, ketPanel);
    this.scrollListener = new ScrollListener(this);

Related Classes of ket.display.ColourSchemeDecorator

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.