1 21 22 package org.armedbear.j; 23 24 import java.awt.event.KeyEvent ; 25 26 public final class CompilationMode extends AbstractMode implements Constants, Mode 27 { 28 private static final CompilationMode mode = new CompilationMode(); 29 30 private CompilationMode() 31 { 32 super(COMPILATION_MODE, COMPILATION_MODE_NAME); 33 setProperty(Property.VERTICAL_RULE, 0); 34 setProperty(Property.SHOW_LINE_NUMBERS, false); 35 setProperty(Property.SHOW_CHANGE_MARKS, false); 36 } 37 38 public static final CompilationMode getMode() 39 { 40 return mode; 41 } 42 43 protected void setKeyMapDefaults(KeyMap km) 44 { 45 km.mapKey(KeyEvent.VK_F9, 0, "compile"); 46 km.mapKey(KeyEvent.VK_F9, CTRL_MASK, "recompile"); 47 km.mapKey(KeyEvent.VK_ENTER, 0, "thisError"); 48 km.mapKey(KeyEvent.VK_G, CTRL_MASK | SHIFT_MASK, "thisError"); 49 km.mapKey(VK_DOUBLE_MOUSE_1, 0, "thisError"); 50 km.mapKey(VK_MOUSE_2, 0, "thisError"); 51 } 52 53 public Formatter getFormatter(Buffer buffer) 54 { 55 return new PlainTextFormatter(buffer); 56 } 57 } 58 | Popular Tags |