KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > armedbear > j > ListOccurrencesMode


1 /*
2  * ListOccurrencesMode.java
3  *
4  * Copyright (C) 2000-2004 Peter Graves
5  * $Id: ListOccurrencesMode.java,v 1.2 2004/04/02 03:28:00 piso Exp $
6  *
7  * This program is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License
9  * as published by the Free Software Foundation; either version 2
10  * of the License, or (at your option) any later version.
11  *
12  * This program is distributed in the hope that it will be useful,
13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15  * GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with this program; if not, write to the Free Software
19  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
20  */

21
22 package org.armedbear.j;
23
24 import java.awt.event.KeyEvent JavaDoc;
25 import javax.swing.JPopupMenu JavaDoc;
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 JavaDoc 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