Statistics
| Revision:

svn-gvsig-desktop / tags / v1_0_2_Build_897 / libraries / libIverUtiles / src / com / iver / utiles / console / jedit / TextAreaDefaults.java @ 10444

History | View | Annotate | Download (2.3 KB)

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

    
11
import java.awt.Color;
12

    
13
import javax.swing.JPopupMenu;
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 caretColor;
38
        public Color selectionColor;
39
        public Color lineHighlightColor;
40
        public boolean lineHighlight;
41
        public Color bracketHighlightColor;
42
        public boolean bracketHighlight;
43
        public Color eolMarkerColor;
44
        public boolean eolMarkers;
45
        public boolean paintInvalid;
46

    
47
        public JPopupMenu 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 ConsoleInputHandler();
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 = 40;
69
                        DEFAULTS.rows = 4;
70
                        DEFAULTS.styles = SyntaxUtilities.getDefaultSyntaxStyles();
71
                        DEFAULTS.caretColor = Color.blue;
72
                        DEFAULTS.selectionColor = new Color(0xccccff);
73
                        DEFAULTS.lineHighlightColor = new Color(0xe0e0e0);
74
                        DEFAULTS.lineHighlight = true;
75
                        DEFAULTS.bracketHighlightColor = Color.black;
76
                        DEFAULTS.bracketHighlight = true;
77
                        DEFAULTS.eolMarkerColor = new Color(0x009999);
78
                        DEFAULTS.eolMarkers = true;
79
                        DEFAULTS.paintInvalid = true;
80
                }
81

    
82
                return DEFAULTS;
83
        }
84
}