1 19 20 package org.netbeans.lib.editor.util.swing; 21 22 28 29 public final class DocumentListenerPriority { 30 31 35 public static final DocumentListenerPriority LEXER 36 = new DocumentListenerPriority(5, "lexer"); 38 41 public static final DocumentListenerPriority FOLD_UPDATE 42 = new DocumentListenerPriority(4, "fold-update"); 44 49 public static final DocumentListenerPriority DEFAULT 50 = new DocumentListenerPriority(3, "default"); 52 56 public static final DocumentListenerPriority VIEW 57 = new DocumentListenerPriority(2, "view"); 59 62 public static final DocumentListenerPriority CARET_UPDATE 63 = new DocumentListenerPriority(1, "caret-update"); 65 69 public static final DocumentListenerPriority AFTER_CARET_UPDATE 70 = new DocumentListenerPriority(0, "after-caret-update"); 72 73 private int priority; 74 75 private String description; 76 77 83 private DocumentListenerPriority(int priority, String description) { 84 this.priority = priority; 85 this.description = description; 86 } 87 88 public String getDescription() { 89 return description; 90 } 91 92 public String toString() { 93 return getDescription(); 94 } 95 96 100 int getPriority() { 101 return priority; 102 } 103 104 } 105 | Popular Tags |