mirror of
https://github.com/arduino/Arduino.git
synced 2024-11-30 11:24:12 +01:00
91 lines
2.5 KiB
Java
91 lines
2.5 KiB
Java
/*
|
|
* TextAreaDefaults.java - Encapsulates default values for various settings
|
|
* Copyright (C) 1999 Slava Pestov
|
|
*
|
|
* You may use and modify this package for any purpose. Redistribution is
|
|
* permitted, in both source and binary form, provided that this notice
|
|
* remains intact in all source distributions of this package.
|
|
*/
|
|
|
|
package processing.app.syntax;
|
|
|
|
import java.awt.*;
|
|
//import javax.swing.JPopupMenu;
|
|
|
|
/**
|
|
* Encapsulates default settings for a text area. This can be passed
|
|
* to the constructor once the necessary fields have been filled out.
|
|
* The advantage of doing this over calling lots of set() methods after
|
|
* creating the text area is that this method is faster.
|
|
*/
|
|
public class TextAreaDefaults
|
|
{
|
|
private static TextAreaDefaults DEFAULTS;
|
|
|
|
public InputHandler inputHandler;
|
|
public SyntaxDocument document;
|
|
public boolean editable;
|
|
|
|
public boolean caretVisible;
|
|
public boolean caretBlinks;
|
|
public boolean blockCaret;
|
|
public int electricScroll;
|
|
|
|
public int cols;
|
|
public int rows;
|
|
public SyntaxStyle[] styles;
|
|
public Color caretColor;
|
|
public Color selectionColor;
|
|
public Color lineHighlightColor;
|
|
public boolean lineHighlight;
|
|
public Color bracketHighlightColor;
|
|
public boolean bracketHighlight;
|
|
public Color eolMarkerColor;
|
|
public boolean eolMarkers;
|
|
public boolean paintInvalid;
|
|
|
|
|
|
// moved from TextAreaPainter [fry]
|
|
public Font font;
|
|
public Color fgcolor;
|
|
public Color bgcolor;
|
|
|
|
//public JPopupMenu popup;
|
|
|
|
|
|
/**
|
|
* Returns a new TextAreaDefaults object with the default values filled
|
|
* in.
|
|
*/
|
|
public static TextAreaDefaults getDefaults()
|
|
{
|
|
if (DEFAULTS == null) {
|
|
DEFAULTS = new TextAreaDefaults();
|
|
|
|
DEFAULTS.inputHandler = new DefaultInputHandler();
|
|
DEFAULTS.inputHandler.addDefaultKeyBindings();
|
|
DEFAULTS.document = new SyntaxDocument();
|
|
DEFAULTS.editable = true;
|
|
|
|
DEFAULTS.caretVisible = true;
|
|
DEFAULTS.caretBlinks = true;
|
|
DEFAULTS.electricScroll = 3;
|
|
|
|
DEFAULTS.cols = 80;
|
|
DEFAULTS.rows = 25;
|
|
DEFAULTS.styles = SyntaxUtilities.getDefaultSyntaxStyles();
|
|
DEFAULTS.caretColor = Color.red;
|
|
DEFAULTS.selectionColor = new Color(0xccccff);
|
|
DEFAULTS.lineHighlightColor = new Color(0xe0e0e0);
|
|
DEFAULTS.lineHighlight = true;
|
|
DEFAULTS.bracketHighlightColor = Color.black;
|
|
DEFAULTS.bracketHighlight = true;
|
|
DEFAULTS.eolMarkerColor = new Color(0x009999);
|
|
DEFAULTS.eolMarkers = true;
|
|
DEFAULTS.paintInvalid = true;
|
|
}
|
|
|
|
return DEFAULTS;
|
|
}
|
|
}
|