textareadefaults.java

来自「报表设计软件,很好的」· Java 代码 · 共 88 行

JAVA
88
字号
package org.jfree.designer.text.jedit;

/*
 * 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;

import org.jfree.designer.text.jedit.syntax.SyntaxDocument;
import org.jfree.designer.text.jedit.syntax.SyntaxStyle;
import org.jfree.designer.text.jedit.syntax.SyntaxUtilities;

/**
 * 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 final 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;

  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;
  }
}

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?