1 22 23 package org.gjt.sp.jedit; 24 25 32 public class Debug 33 { 34 38 public static boolean OFFSET_DEBUG = false; 39 40 44 public static boolean SCROLL_DEBUG = false; 45 46 49 public static boolean SCROLL_TO_DEBUG = false; 50 51 55 public static boolean SCROLL_VERIFY = false; 56 57 60 public static boolean SCREEN_LINES_DEBUG = false; 61 62 65 public static boolean TOKEN_MARKER_DEBUG = false; 66 67 70 public static boolean FOLD_DEBUG = false; 71 72 75 public static boolean FOLD_VIS_DEBUG = false; 76 77 80 public static boolean CHUNK_CACHE_DEBUG = false; 81 82 85 public static boolean CHUNK_PAINT_DEBUG = false; 86 87 90 public static boolean PAINT_TIMER = false; 91 92 95 public static boolean EB_TIMER = false; 96 97 100 public static boolean DISABLE_GLYPH_VECTOR = false; 101 102 105 public static boolean BEANSHELL_DEBUG = false; 106 107 112 public static boolean ALTERNATIVE_DISPATCHER = OperatingSystem.isMacOS(); 113 114 119 public static boolean ALT_KEY_PRESSED_DISABLED = OperatingSystem.isMacOS(); 120 121 134 public static boolean GLOBAL_SHORTCUTS_FOR_DOCKED_DOCKABLES = true; 135 136 139 public static boolean GEOMETRY_WORKAROUND = false; 140 141 144 public static boolean DUMP_KEY_EVENTS = false; 145 146 149 public static boolean INDENT_DEBUG = false; 150 151 154 public static boolean PRINT_DEBUG = false; 155 156 159 public static boolean DISABLE_SEARCH_DIALOG_POOL = false; 160 161 166 public static boolean DISABLE_MULTIHEAD = false; 167 } 168 | Popular Tags |