root / tags / v1_1_Build_1000 / libraries / libIverUtiles / src / com / iver / utiles / console / jedit / TextAreaDefaults.java @ 11885
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 |
} |