1 package org.jedit.syntax; 2 3 11 12 import javax.swing.JPopupMenu ; 13 import java.awt.Color ; 14 15 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 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 (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 } 85 | Popular Tags |