KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > jedit > syntax > TextAreaDefaults


1 package org.jedit.syntax;
2
3 /*
4  * TextAreaDefaults.java - Encapsulates default values for various settings
5  * Copyright (C) 1999 Slava Pestov
6  *
7  * You may use and modify this package for any purpose. Redistribution is
8  * permitted, in both source and binary form, provided that this notice
9  * remains intact in all source distributions of this package.
10  */

11
12 import javax.swing.JPopupMenu JavaDoc;
13 import java.awt.Color JavaDoc;
14
15 /**
16  * Encapsulates default settings for a text area. This can be passed
17  * to the constructor once the necessary fields have been filled out.
18  * The advantage of doing this over calling lots of set() methods after
19  * creating the text area is that this method is faster.
20  */

21 public class TextAreaDefaults
22 {
23    private static TextAreaDefaults DEFAULTS;
24
25    public InputHandler inputHandler;
26    public SyntaxDocument document;
27    public boolean editable;
28
29    public boolean caretVisible;
30    public boolean caretBlinks;
31    public boolean blockCaret;
32    public int electricScroll;
33
34    public int cols;
35    public int rows;
36    public SyntaxStyle[] styles;
37    public Color JavaDoc caretColor;
38    public Color JavaDoc selectionColor;
39    public Color JavaDoc lineHighlightColor;
40    public boolean lineHighlight;
41    public Color JavaDoc bracketHighlightColor;
42    public boolean bracketHighlight;
43    public Color JavaDoc eolMarkerColor;
44    public boolean eolMarkers;
45    public boolean paintInvalid;
46
47    public JPopupMenu JavaDoc popup;
48
49    /**
50     * Returns a new TextAreaDefaults object with the default values filled
51     * in.
52     */

53    public static TextAreaDefaults getDefaults()
54    {
55       if(DEFAULTS == null)
56       {
57          DEFAULTS = new TextAreaDefaults();
58
59          DEFAULTS.inputHandler = new DefaultInputHandler();
60          DEFAULTS.inputHandler.addDefaultKeyBindings();
61          DEFAULTS.document = new SyntaxDocument();
62          DEFAULTS.editable = true;
63
64          DEFAULTS.caretVisible = true;
65          DEFAULTS.caretBlinks = true;
66          DEFAULTS.electricScroll = 3;
67
68          DEFAULTS.cols = 80;
69          DEFAULTS.rows = 25;
70          DEFAULTS.styles = SyntaxUtilities.getDefaultSyntaxStyles();
71          DEFAULTS.caretColor = Color.red;
72          DEFAULTS.selectionColor = new Color JavaDoc(0xccccff);
73          DEFAULTS.lineHighlightColor = new Color JavaDoc(0xe0e0e0);
74          DEFAULTS.lineHighlight = true;
75          DEFAULTS.bracketHighlightColor = Color.black;
76          DEFAULTS.bracketHighlight = true;
77          DEFAULTS.eolMarkerColor = new Color JavaDoc(0x009999);
78          DEFAULTS.eolMarkers = true;
79          DEFAULTS.paintInvalid = true;
80       }
81
82       return DEFAULTS;
83    }
84 }
85
Popular Tags