1 21 22 package org.armedbear.j; 23 24 import java.awt.event.KeyEvent ; 25 26 public final class ShellMode extends AbstractMode implements Constants, Mode 27 { 28 private static final ShellMode mode = new ShellMode(); 29 30 protected ShellMode() 31 { 32 super(SHELL_MODE, SHELL_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 ShellMode getMode() 39 { 40 return mode; 41 } 42 43 protected void setKeyMapDefaults(KeyMap km) 44 { 45 km.mapKey(KeyEvent.VK_HOME, 0, "shellHome"); 46 km.mapKey(KeyEvent.VK_BACK_SPACE, 0, "shellBackspace"); 47 km.mapKey(KeyEvent.VK_ESCAPE, 0, "shellEscape"); 48 km.mapKey(KeyEvent.VK_P, CTRL_MASK, "shellPreviousInput"); 49 km.mapKey(KeyEvent.VK_N, CTRL_MASK, "shellNextInput"); 50 km.mapKey(KeyEvent.VK_P, CTRL_MASK | ALT_MASK, "shellPreviousPrompt"); 51 km.mapKey(KeyEvent.VK_N, CTRL_MASK | ALT_MASK, "shellNextPrompt"); 52 km.mapKey(KeyEvent.VK_ENTER, 0, "shellEnter"); 53 km.mapKey(KeyEvent.VK_TAB, 0, "shellTab"); 54 km.mapKey(KeyEvent.VK_C, CTRL_MASK | ALT_MASK, "shellInterrupt"); 55 km.mapKey(KeyEvent.VK_T, CTRL_MASK, "findTag"); 56 km.mapKey(KeyEvent.VK_F9, CTRL_MASK, "recompile"); 57 km.mapKey(')', "closeParen"); 58 } 59 60 public Formatter getFormatter(Buffer buffer) 61 { 62 return new ShellFormatter(buffer); 63 } 64 } 65 | Popular Tags |