|                                                                                                              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                                                                                                                                                                                              |