⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 textareadefaults.java

📁 报表设计软件,很好的
💻 JAVA
字号:
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 + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -