1 21 22 package org.armedbear.j; 23 24 import java.awt.event.KeyEvent ; 25 import javax.swing.JPopupMenu ; 26 27 public final class ListOccurrencesMode extends AbstractMode implements Constants, Mode 28 { 29 private static final ListOccurrencesMode mode = new ListOccurrencesMode(); 30 31 private ListOccurrencesMode() 32 { 33 super(LIST_OCCURRENCES_MODE, LIST_OCCURRENCES_MODE_NAME); 34 setProperty(Property.VERTICAL_RULE, 0); 35 setProperty(Property.SHOW_LINE_NUMBERS, false); 36 setProperty(Property.SHOW_CHANGE_MARKS, false); 37 setProperty(Property.HIGHLIGHT_MATCHING_BRACKET, false); 38 setProperty(Property.HIGHLIGHT_BRACKETS, false); 39 } 40 41 public static final ListOccurrencesMode getMode() 42 { 43 return mode; 44 } 45 46 public JPopupMenu getContextMenu(Editor editor) 47 { 48 return null; 49 } 50 51 public Formatter getFormatter(Buffer buffer) 52 { 53 return new ListOccurrencesFormatter(buffer); 54 } 55 56 protected void setKeyMapDefaults(KeyMap km) 57 { 58 km.mapKey(KeyEvent.VK_ENTER, 0, "findOccurrenceAtDot"); 59 km.mapKey(KeyEvent.VK_G, CTRL_MASK | SHIFT_MASK, "findOccurrenceAtDot"); 60 km.mapKey(VK_DOUBLE_MOUSE_1, 0, "mouseFindOccurrence"); 61 km.mapKey(VK_MOUSE_2, 0, "mouseFindOccurrence"); 62 km.mapKey(KeyEvent.VK_ENTER, CTRL_MASK, "findOccurrenceAtDotAndKillList"); 63 } 64 } 65 | Popular Tags |