001: /*
002: * Sun Public License Notice
003: *
004: * The contents of this file are subject to the Sun Public License
005: * Version 1.0 (the "License"). You may not use this file except in
006: * compliance with the License. A copy of the License is available at
007: * http://www.sun.com/
008: *
009: * The Original Code is NetBeans. The Initial Developer of the Original
010: * Code is Sun Microsystems, Inc. Portions Copyright 1997-2000 Sun
011: * Microsystems, Inc. All Rights Reserved.
012: */
013:
014: package org.netbeans.editor;
015:
016: /**
017: * Names of the base settings defined in the editor. The other packages related
018: * to the editor can define their own extensions to these basic names. The
019: * extension class can be inherited from this class so that the extension class
020: * contains all the available names.
021: *
022: * @author Miloslav Metelka
023: * @version 1.00
024: */
025:
026: public class SettingsNames {
027:
028: /**
029: * Number of spaces to draw when the '\t' character is found in the text.
030: * Better said when the drawing-engine finds a '\t' character it computes
031: * the next multiple of TAB_SIZE and continues drawing from that position.
032: * Values: java.lang.Integer instances
033: */
034: public static final String TAB_SIZE = "tab-size"; // NOI18N
035:
036: /**
037: * Whether expand typed tabs to spaces. The number of spaces to substitute
038: * per one typed tab is determined by SPACES_PER_TAB setting. Values:
039: * java.lang.Boolean instances
040: */
041: public static final String EXPAND_TABS = "expand-tabs"; // NOI18N
042:
043: /**
044: * How many spaces substitute per one typed tab. This parameter has effect
045: * only when EXPAND_TABS setting is set to true. This parameter has no
046: * influence on how the existing tabs are displayed. Values:
047: * java.lang.Integer instances
048: */
049: public static final String SPACES_PER_TAB = "spaces-per-tab"; // NOI18N
050:
051: /**
052: * Shift-width says how many spaces should the formatter use to indent the
053: * more inner level of code. This setting is independent of
054: * <tt>TAB_SIZE</tt> and <tt>SPACES_PER_TAB</tt>. Values:
055: * java.lang.Integer instances
056: */
057: public static final String INDENT_SHIFT_WIDTH = "indent-shift-width"; // NOI18N
058:
059: /**
060: * Acceptor that recognizes the identifier characters. If set it's used
061: * instead of the default Syntax.isIdentifierPart() call. Values:
062: * org.netbeans.editor.Acceptor instances
063: */
064: public static final String IDENTIFIER_ACCEPTOR = "identifier-acceptor"; // NOI18N
065:
066: /**
067: * Acceptor that recognizes the whitespace characters. If set it's used
068: * instead of the default Syntax.isWhitespace() call. Values:
069: * org.netbeans.editor.Acceptor instances
070: */
071: public static final String WHITESPACE_ACCEPTOR = "whitespace-acceptor"; // NOI18N
072:
073: /**
074: * Map of the string abbreviations. The second string (value) means the full
075: * version of the first string (key). Values: java.util.Map instances
076: * holding [abbrev-string, expanded-abbrev-string] pairs
077: */
078: public static final String ABBREV_MAP = "abbrev-map"; // NOI18N
079:
080: /**
081: * Map of macro definitions. The second string (value) contains encoded
082: * functionality of the macro in the following notation: Macro ::= S?
083: * Element (S Element)* S? Element ::= Action | '"' Text '"' Action ::= ( ( (
084: * char - ( S | '\' ) ) | '\\' | ( '\' S ) )+ Text ::= ( ( char - ( '"' |
085: * '\' ) ) | ( '\"' | '\\' ) )*
086: */
087: public static final String MACRO_MAP = "macro-map"; // NOI18N
088:
089: /**
090: * Map of the action abbreviations. The second string (value) is the name of
091: * the action to execute. The action must be available in the kit actions.
092: * It can be added through <tt>CUSTOM_ACTION_LIST</tt>. The original
093: * abbreviation string is first removed from the text before the action is
094: * executed. If there is the same abbreviation in the <tt>ABBREV_MAP</tt>
095: * map it has a precedence over the <tt>ABBREV_ACTION_MAP</tt>. Values:
096: * java.util.Map instances holding [abbrev-string,
097: * name-of-the-action-to-execute] pairs
098: */
099: public static final String ABBREV_ACTION_MAP = "abbrev-action-map"; // NOI18N
100:
101: /**
102: * Acceptor checking whether abbreviation should be attempted after the
103: * appropriate character was typed. Values: org.netbeans.editor.Acceptor
104: * instances
105: */
106: public static final String ABBREV_EXPAND_ACCEPTOR = "abbrev-expand-acceptor"; // NOI18N
107:
108: /**
109: * Acceptor checking whether typed character that performed abbreviation
110: * expansion should be added to the text or not. Values:
111: * org.netbeans.editor.Acceptor instances
112: */
113: public static final String ABBREV_ADD_TYPED_CHAR_ACCEPTOR = "abbrev-add-typed-char-acceptor"; // NOI18N
114:
115: /**
116: * Acceptor checking whether typed character should reset abbreviation
117: * accounting. By default all non-letterOrDigit chars reset the abbreviation
118: * accounting. Values: org.netbeans.editor.Acceptor instances
119: */
120: public static final String ABBREV_RESET_ACCEPTOR = "abbrev-reset-acceptor"; // NOI18N
121:
122: /**
123: * Type of caret for insert mode. Values: java.lang.String instances
124: * Currently supported types are: org.netbeans.editor.BaseCaret.LINE_CARET -
125: * default 2point caret org.netbeans.editor.BaseCaret.THIN_LINE_CARET -
126: * swing like thin caret org.netbeans.editor.BaseCaret.BLOCK_CARET - block
127: * covering whole character
128: */
129: public static final String CARET_TYPE_INSERT_MODE = "caret-type-insert-mode"; // NOI18N
130:
131: /**
132: * Type of caret for over write mode. Values: java.lang.String instances
133: * Currently supported types are: org.netbeans.editor.BaseCaret.LINE_CARET -
134: * default 2point caret org.netbeans.editor.BaseCaret.THIN_LINE_CARET -
135: * swing like thin caret org.netbeans.editor.BaseCaret.BLOCK_CARET - block
136: * covering whole character
137: */
138: public static final String CARET_TYPE_OVERWRITE_MODE = "caret-type-overwrite-mode"; // NOI18N
139:
140: /**
141: * Will the insert mode caret be italicized if the underlying font is
142: * italic? Values: java.lang.Boolean instances
143: */
144: public static final String CARET_ITALIC_INSERT_MODE = "caret-italic-insert-mode"; // NOI18N
145:
146: /**
147: * Will the overwrite mode caret be italicized if the underlying font is
148: * italic? Values: java.lang.Boolean instances
149: */
150: public static final String CARET_ITALIC_OVERWRITE_MODE = "caret-italic-overwrite-mode"; // NOI18N
151:
152: /**
153: * Caret color for insert mode. Values: java.awt.Color instances
154: */
155: public static final String CARET_COLOR_INSERT_MODE = "caret-color-insert-mode"; // NOI18N
156:
157: /**
158: * Caret color for overwrite mode. Values: java.awt.Color instances
159: */
160: public static final String CARET_COLOR_OVERWRITE_MODE = "caret-color-overwrite-mode"; // NOI18N
161:
162: /**
163: * Caret blink rate in milliseconds. Values: java.lang.Integer
164: */
165: public static final String CARET_BLINK_RATE = "caret-blink-rate"; // NOI18N
166:
167: /**
168: * Whether to display line numbers on the left part of the screen. Values:
169: * java.lang.Boolean instances
170: */
171: public static final String LINE_NUMBER_VISIBLE = "line-number-visible"; // NOI18N
172:
173: /**
174: * Whether to display line numbers when printing to the printer. Values:
175: * java.lang.Boolean instances
176: */
177: public static final String PRINT_LINE_NUMBER_VISIBLE = "print-line-number-visible"; // NOI18N
178:
179: /**
180: * How much should the view jump when scrolling goes off the screen. Insets
181: * are used so that it can be specified for each direction specifically.
182: * Each inset value can be positive or negative. The positive value means
183: * the number of lines for the top and the bottom and the number of
184: * characters for the left and the right. The negative value means
185: * percentage of the editor component height for the top and the bottom and
186: * percentage of the editor component width for the left and the right.
187: * Values: java.awt.Insets instances
188: */
189: public static final String SCROLL_JUMP_INSETS = "scroll-jump-insets"; // NOI18N
190:
191: /**
192: * How much space must be reserved in each direction for the find operation.
193: * It's here to ensure the found information will be visible in some context
194: * around it. Insets are used so that it can be specified for each direction
195: * specifically. Each inset value can be positive or negative. The positive
196: * value means the number of lines for the top and the bottom and the number
197: * of characters for the left and the right. The negative value means
198: * percentage of the editor component height for the top and the bottom and
199: * percentage of the editor component width for the left and the right.
200: * Values: java.awt.Insets instances
201: */
202: public static final String SCROLL_FIND_INSETS = "scroll-find-insets"; // NOI18N
203:
204: /**
205: * How much space will be added additionaly when the component needs to be
206: * resized. Each dimension value can be positive or negative. The positive
207: * value means the number of lines for the height and the number of
208: * characters for the width. The negative value means percentage of the
209: * editor component height for the height and percentage of the editor
210: * component width for the width. Values: java.awt.Dimension instances
211: */
212: public static final String COMPONENT_SIZE_INCREMENT = "component-size-increment"; // NOI18N
213:
214: /**
215: * Margin for the editor component Values: java.awt.Insets instances
216: */
217: public static final String MARGIN = "margin"; // NOI18N
218:
219: /**
220: * Margin on the left and right side of the line number. It's used only when
221: * line numbers are visible. The top and bottom values are ignored. Values:
222: * java.awt.Insets instances
223: */
224: public static final String LINE_NUMBER_MARGIN = "line-number-margin"; // NOI18N
225:
226: /**
227: * Width of the margin on the left side of the text just after the
228: * line-number bar. Values: java.awt.Integer instances
229: */
230: public static final String TEXT_LEFT_MARGIN_WIDTH = "text-left-margin-width"; // NOI18N
231:
232: /**
233: * Rendering hints to be used for the painting. Values: java.util.Map
234: * instances
235: */
236: public static final String RENDERING_HINTS = "rendering-hints"; // NOI18N
237:
238: /**
239: * Key binding list for particular kit. Values: java.util.List instances
240: * holding javax.swing.JTextComponent.KeyBinding instances or
241: * org.netbeans.editor.MultiKeyBinding instances
242: */
243: public static final String KEY_BINDING_LIST = "key-bindings"; // NOI18N
244:
245: /**
246: * Whether the input-methods should be enabled. Values: java.lang.Boolean
247: */
248: public static final String INPUT_METHODS_ENABLED = "input-methods-enabled"; // NOI18N
249:
250: /**
251: * Float constant by which the height of the character obtained from the
252: * font is multiplied. It defaults to 1. Values: java.lang.Float instances
253: */
254: public static final String LINE_HEIGHT_CORRECTION = "line-height-correction"; // NOI18N
255:
256: /*
257: * Find properties. They are read by FindSupport when its instance is being
258: * initialized. FIND_WHAT: java.lang.String - search expression
259: * FIND_REPLACE_BY: java.lang.String - replace string FIND_HIGHLIGHT_SEARCH:
260: * java.lang.Boolean - highlight matching strings in text FIND_INC_SEARCH:
261: * java.lang.Boolean - show matching strings immediately
262: * FIND_BACKWARD_SEARCH: java.lang.Boolean - search in backward direction
263: * FIND_WRAP_SEARCH: java.lang.Boolean - if end of doc reached, start from
264: * begin FIND_MATCH_CASE: java.lang.Boolean - match case of letters
265: * FIND_SMART_CASE: java.lang.Boolean - case insensitive search if
266: * FIND_MATCH_CASE is false and all letters of FIND_WHAT are small, case
267: * sensitive otherwise FIND_WHOLE_WORDS: java.lang.Boolean - match only
268: * whole words FIND_REG_EXP: java.lang.Boolean - use regular expressions in
269: * search expr FIND_HISTORY: java.util.List - History of search expressions
270: * FIND_HISTORY_SIZE: java.lang.Integer - Maximum size of the history
271: */
272: public static final String FIND_WHAT = "find-what"; // NOI18N
273: public static final String FIND_REPLACE_WITH = "find-replace-with"; // NOI18N
274: public static final String FIND_HIGHLIGHT_SEARCH = "find-highlight-search"; // NOI18N
275: public static final String FIND_INC_SEARCH = "find-inc-search"; // NOI18N
276: public static final String FIND_INC_SEARCH_DELAY = "find-inc-search-delay"; // NOI18N
277: public static final String FIND_BACKWARD_SEARCH = "find-backward-search"; // NOI18N
278: public static final String FIND_WRAP_SEARCH = "find-wrap-search"; // NOI18N
279: public static final String FIND_MATCH_CASE = "find-match-case"; // NOI18N
280: public static final String FIND_SMART_CASE = "find-smart-case"; // NOI18N
281: public static final String FIND_WHOLE_WORDS = "find-whole-words"; // NOI18N
282: public static final String FIND_REG_EXP = "find-reg-exp"; // NOI18N
283: public static final String FIND_HISTORY = "find-history"; // NOI18N
284: public static final String FIND_HISTORY_SIZE = "find-history-size"; // NOI18N
285:
286: /**
287: * Number of characters that can be searched. If the value is larger than
288: * the document size, the document is used but the next document will not be
289: * used. The zero value disables the word match completely. Specify
290: * Integer.MAX_VALUE to search all the documents regardless of the size.
291: * Values: java.lang.Integer instances
292: */
293: public static final String WORD_MATCH_SEARCH_LEN = "word-match-search-len"; // NOI18N
294:
295: /**
296: * Wrap the word match searching on current document after it reaches the
297: * end/begining of current document. All the other documents except the
298: * current (first) one are searched from begining in forward direction.
299: * Values: java.lang.Boolean instances
300: */
301: public static final String WORD_MATCH_WRAP_SEARCH = "word-match-wrap-search"; // NOI18N
302:
303: /**
304: * Word list that is searched as last resort in word matching. It can
305: * contain the words that are used often by the user. If this property is
306: * set, these words are searched regardless of WORD_MATCH_SEARCH_LEN
307: * setting. Values: java.lang.String instances
308: */
309: public static final String WORD_MATCH_STATIC_WORDS = "word-match-static-words"; // NOI18N
310:
311: /**
312: * Whether to use case sensitive search or not. Values: java.lang.Boolean
313: * instances
314: */
315: public static final String WORD_MATCH_MATCH_CASE = "word-match-match-case"; // NOI18N
316:
317: /**
318: * Whether to use case insensitive search if all the letters are small and
319: * case sensitive search if at least one letter is capital. Values:
320: * java.lang.Boolean instances
321: */
322: public static final String WORD_MATCH_SMART_CASE = "word-match-smart-case"; // NOI18N
323:
324: /**
325: * Whether the word matching should return the match even if the matching
326: * word has only one char. The WORD_MATCH_MATCH_CASE setting is ignored in
327: * case this setting is on. Values: java.lang.Boolean instances
328: */
329: public static final String WORD_MATCH_MATCH_ONE_CHAR = "word-match-match-one-char"; // NOI18N
330:
331: /**
332: * List of actions that will be added to the standard list of actions for
333: * the particular kit. Using this mechanism, user can add actions and
334: * possibly map them to the keys without overriding kit classes. NOTICE!:
335: * This option has INCREMENTAL HANDLING, i.e. current kit list but also all
336: * the super kit lists are used. For example if there is a list of actions
337: * both for JavaKit and BaseKit classes, both list of actions will be added
338: * and BaseKit actions will be added first. Values: java.util.List instances
339: */
340: public static final String CUSTOM_ACTION_LIST = "custom-action-list"; // NOI18N
341:
342: /**
343: * List of actions which is executed when editor kit is installed into
344: * component. Actions are executed one by one in the order they occur in the
345: * list. At the time the kit is installed, the document is not yet assigned.
346: * To perform some actions on document, use the DOC_INSTALL_ACTION_LIST.
347: * NOTICE!: This option has INCREMENTAL HANDLING, i.e. current kit list but
348: * also all the super kit lists are used. For example if there is a list of
349: * actions both for JavaKit and BaseKit classes, both list of actions will
350: * be executed and JavaKit actions will be executed first. Values:
351: * java.util.List instances
352: */
353: public static final String KIT_INSTALL_ACTION_NAME_LIST = "kit-install-action-name-list"; // NOI18N
354:
355: /**
356: * List of actions that are executed when editor kit is being removed from
357: * component. Actions are executed one by one in the order they occur in the
358: * list. NOTICE!: This option has INCREMENTAL HANDLING, i.e. current kit
359: * list but also all the super kit lists are used. For example if there is a
360: * list of actions both for JavaKit and BaseKit classes, both list of
361: * actions will be executed and JavaKit actions will be executed first.
362: * Values: java.util.List instances
363: */
364: public static final String KIT_DEINSTALL_ACTION_NAME_LIST = "kit-deinstall-action-name-list"; // NOI18N
365:
366: /**
367: * List of actions which is executed when the new document is installed into
368: * component. Actions are executed one by one in the order they occur in the
369: * list. NOTICE!: This option has INCREMENTAL HANDLING, i.e. current kit
370: * list but also all the super kit lists are used. For example if there is a
371: * list of actions both for JavaKit and BaseKit classes, both list of
372: * actions will be executed and JavaKit actions will be executed first.
373: * Values: java.util.List instances
374: */
375: public static final String DOC_INSTALL_ACTION_NAME_LIST = "doc-install-action-name-list"; // NOI18N
376:
377: /**
378: * Whether status bar should be visible or not. Values: java.lang.Boolean
379: * instances
380: */
381: public static final String STATUS_BAR_VISIBLE = "status-bar-visible"; // NOI18N
382:
383: /**
384: * Delay for updating information about caret in the status bar. Values:
385: * java.lang.Integer instances
386: */
387: public static final String STATUS_BAR_CARET_DELAY = "status-bar-caret-delay"; // NOI18N
388:
389: /**
390: * Whether the line displaying the text limit should be displayed. Values:
391: * java.lang.Boolean instances
392: */
393: public static final String TEXT_LIMIT_LINE_VISIBLE = "text-limit-line-visible"; // NOI18N
394:
395: /**
396: * Which color should be used for the line showing the text limit. Values:
397: * java.awt.Color instances
398: */
399: public static final String TEXT_LIMIT_LINE_COLOR = "text-limit-line-color"; // NOI18N
400:
401: /**
402: * After how many characters the text limit line should be displayed.
403: * Values: java.awt.Integer instances
404: */
405: public static final String TEXT_LIMIT_WIDTH = "text-limit-width"; // NOI18N
406:
407: /**
408: * Whether the home key should go to column 1 or first go to text start on
409: * the given line and then to the column 1. Values: java.lang.Boolean
410: *
411: * @deprecated As of 05/09/2001
412: */
413: public static final String HOME_KEY_COLUMN_ONE = "home-key-column-one"; // NOI18N
414:
415: /**
416: * Finder for finding the next word. If it's not set, the
417: * <tt>FinderFactory.NextWordFwdFinder</tt> is used. Values:
418: * org.netbeans.editor.Finder
419: */
420: public static final String NEXT_WORD_FINDER = "next-word-finder"; // NOI18N
421:
422: /**
423: * Finder for finding the previous word. If it's not set, the
424: * <tt>FinderFactory.WordStartBwdFinder</tt> is used. Values:
425: * org.netbeans.editor.Finder
426: */
427: public static final String PREVIOUS_WORD_FINDER = "previous-word-finder"; // NOI18N
428:
429: /**
430: * Whether the word move should stop on the '\n' character. This setting
431: * affects both the Values: java.lang.Boolean
432: */
433: public static final String WORD_MOVE_NEWLINE_STOP = "word-move-newline-stop"; // NOI18N
434:
435: /**
436: * Whether to trim the white space characters (except '\n') from the end of
437: * the line. Values: java.lang.Boolean instances
438: */
439: // public static final String TRIM_SPACES = "trim-spaces"; // NOI18N
440: /**
441: * Buffer size for reading into the document from input stream or reader.
442: * Values: java.lang.Integer WARNING! This is critical parameter for editor
443: * functionality. Please see DefaultSettings.java for values of this setting
444: */
445: public static final String READ_BUFFER_SIZE = "read-buffer-size"; // NOI18N
446:
447: /**
448: * Buffer size for writing from the document to output stream or writer.
449: * Values: java.lang.Integer instances WARNING! This is critical parameter
450: * for editor functionality. Please see DefaultSettings.java for values of
451: * this setting
452: */
453: public static final String WRITE_BUFFER_SIZE = "write-buffer-size"; // NOI18N
454:
455: /**
456: * Read mark distance is used when performing initial read of the document.
457: * It denotes the distance in chars of two adjacent syntax marks inserted
458: * into the document. Values: java.lang.Integer instances WARNING! This is
459: * critical parameter for editor functionality. Please see
460: * DefaultSettings.java for values of this setting
461: */
462: public static final String READ_MARK_DISTANCE = "read-mark-distance"; // NOI18N
463:
464: /**
465: * Implicit mark distance for inserting to the document. If the insert is
466: * made then the distance between nearest syntax marks around insertion
467: * point is checked and if it's greater than the max mark distance then
468: * another mark(s) are inserted automatically with the distance given by
469: * this setting. Values: java.lang.Integer instances instances WARNING! This
470: * is critical parameter for editor functionality. Please see
471: * DefaultSettings.java for values of this setting
472: */
473: public static final String MARK_DISTANCE = "mark-distance"; // NOI18N
474:
475: /**
476: * Maximum mark distance. When there is an insertion done in document and
477: * the distance between marks gets greater than this setting, another mark
478: * will be inserted automatically. Values: java.lang.Integer instances
479: * WARNING! This is critical parameter for editor functionality. Please see
480: * DefaultSettings.java for values of this setting
481: */
482: public static final String MAX_MARK_DISTANCE = "max-mark-distance"; // NOI18N
483:
484: /**
485: * Minimum mark distance for removals. When there is a removal done in
486: * document and it makes the marks to get closer than this value, then the
487: * marks the additional marks that are closer than the distance given by
488: * this setting are removed automatically. Values: java.lang.Integer
489: * instances WARNING! This is critical parameter for editor functionality.
490: * Please see DefaultSettings.java for values of this setting
491: */
492: public static final String MIN_MARK_DISTANCE = "min-mark-distance"; // NOI18N
493:
494: /**
495: * Size of one batch of characters loaded into syntax segment when updating
496: * syntax marks. It prevents checking and loading of syntax segment at every
497: * syntax mark. Instead it loads at least the amount of characters given by
498: * this setting. This whole process is done only in case the changes in
499: * syntax extend the end of current line. If the syntax changes don't extend
500: * to the next line, this setting has no effect. Values: java.lang.Integer
501: * instances WARNING! This is critical parameter for editor functionality.
502: * Please see DefaultSettings.java for values of this setting
503: */
504: public static final String SYNTAX_UPDATE_BATCH_SIZE = "syntax-update-batch-size"; // NOI18N
505:
506: /**
507: * How many lines should be processed at once in the various text
508: * processing. This is used for example when processing the text by syntax
509: * scanner.
510: */
511: public static final String LINE_BATCH_SIZE = "line-batch-size"; // NOI18N
512:
513: /**
514: * Ignore the changes made to the settings through the visual property
515: * editors working over the methods manipulating the settings. Generally
516: * there can be two ways to change the settings in the IDE. One way is to
517: * directly call the appropriate methods. The other way can be through some
518: * visual property editors. This flag should be checked by the property
519: * editors and if set to true, no changes to the settings should be
520: * performed. This allows advanced users to completely control the settings
521: * through code without any external undesired changes.
522: */
523: public static final String IGNORE_VISUAL_CHANGES = "ignore-visual-changes";
524:
525: /**
526: * List of the names of the additional colorings that need to be taken into
527: * account for the particular kit. The colorings that come from syntax
528: * coloring need not be specified here. Instead the
529: * <tt>TOKEN_CONTEXT_LIST</tt> holds the list of token contexts that can
530: * be used by the given kit. The coloring names are without the suffix just
531: * like the predefined coloring names. Values: java.util.List instances
532: */
533: public static final String COLORING_NAME_LIST = "coloring-name-list"; // NOI18N
534:
535: /**
536: * The list of the token contexts that the kit can use. The editor-ui uses
537: * this setting to determine all the token-ids and token-categories for the
538: * colorings.
539: */
540: public static final String TOKEN_CONTEXT_LIST = "token-context-list"; // NOI18N
541:
542: /**
543: * Suffix added to the coloring settings. The resulting name is used as the
544: * name of the setting.
545: */
546: public static final String COLORING_NAME_SUFFIX = "-coloring"; // NOI18N
547:
548: /**
549: * Suffix added to the print coloring settings. The resulting name is used
550: * as the name of the setting.
551: */
552: public static final String COLORING_NAME_PRINT_SUFFIX = "-print-coloring"; // NOI18N
553:
554: /** Default coloring for the drawing. */
555: public static final String DEFAULT_COLORING = "default"; // NOI18N
556:
557: /**
558: * Coloring that will be used for line numbers displayed on the left side on
559: * the screen.
560: */
561: public static final String LINE_NUMBER_COLORING = "line-number"; // NOI18N
562:
563: /** Coloring used for guarded blocks */
564: public static final String GUARDED_COLORING = "guarded"; // NOI18N
565:
566: /** Coloring used for selection */
567: public static final String SELECTION_COLORING = "selection"; // NOI18N
568:
569: /** Coloring used for highlight search */
570: public static final String HIGHLIGHT_SEARCH_COLORING = "highlight-search"; // NOI18N
571:
572: /** Coloring used for incremental search */
573: public static final String INC_SEARCH_COLORING = "inc-search"; // NOI18N
574:
575: /** Coloring used for bookmark lines */
576: public static final String BOOKMARK_COLORING = "bookmark"; // NOI18N
577:
578: /** Coloring used for the status bar */
579: public static final String STATUS_BAR_COLORING = "status-bar"; // NOI18N
580:
581: /** Coloring used to mark important text in the status bar */
582: public static final String STATUS_BAR_BOLD_COLORING = "status-bar-bold"; // NOI18N
583:
584: }
|