/** * Copyright (C) 2001-2017 by RapidMiner and the contributors * * Complete list of developers available at our web site: * * http://rapidminer.com * * This program is free software: you can redistribute it and/or modify it under the terms of the * GNU Affero General Public License as published by the Free Software Foundation, either version 3 * of the License, or (at your option) any later version. * * This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without * even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * Affero General Public License for more details. * * You should have received a copy of the GNU Affero General Public License along with this program. * If not, see http://www.gnu.org/licenses/. */ package com.rapidminer.gui.tools.syntax; /* * 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. */ import java.awt.Color; 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. * * Important bug fix: static defaults with 1 (!) document no longer used! * * @author Slava Pestov, Tom Bradford, Ingo Mierswa */ public class TextAreaDefaults { 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; public JPopupMenu popup; /** * Returns a new TextAreaDefaults object with the default values filled in. */ public static TextAreaDefaults getDefaults() { TextAreaDefaults 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; } }