Changeset 4375


Ignore:
Timestamp:
10/15/03 12:44:03 (18 years ago)
Author:
piso
Message:

setGlobalDefaults(): changed order of mappings so primary mappings on Search
menu would be correct.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/j/src/org/armedbear/j/KeyMap.java

    r3261 r4375  
    33 *
    44 * Copyright (C) 1998-2003 Peter Graves
    5  * $Id: KeyMap.java,v 1.15 2003-08-07 17:59:31 piso Exp $
     5 * $Id: KeyMap.java,v 1.16 2003-10-15 12:44:03 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    182182
    183183        // Search menu.
    184         mapKey(KeyEvent.VK_F3, ALT_MASK, "find");
    185 
    186184        if (Editor.preferences().getBooleanProperty(Property.USE_INCREMENTAL_FIND))
    187185            mapKey(KeyEvent.VK_F, CTRL_MASK, "incrementalFind");
    188186        else
    189187            mapKey(KeyEvent.VK_F, CTRL_MASK, "find");
     188        mapKey(KeyEvent.VK_F3, ALT_MASK, "find");
    190189
    191190        mapKey(KeyEvent.VK_L, ALT_MASK, "listOccurrences");
    192191        mapKey(KeyEvent.VK_L, CTRL_MASK | ALT_MASK, "listOccurrencesOfPatternAtDot");
    193192
     193        mapKey(KeyEvent.VK_F3, 0, "findNext");
    194194        mapKey(KeyEvent.VK_G, CTRL_MASK, "findNext");
    195         mapKey(KeyEvent.VK_F3, 0, "findNext");
     195        mapKey(KeyEvent.VK_F3, SHIFT_MASK, "findPrev");
    196196        mapKey(KeyEvent.VK_H, CTRL_MASK, "findPrev");
    197         mapKey(KeyEvent.VK_F3, SHIFT_MASK, "findPrev");
    198197        mapKey(KeyEvent.VK_F6, 0, "findInFiles");
    199198        mapKey(KeyEvent.VK_F, CTRL_MASK | SHIFT_MASK, "findInFiles");
Note: See TracChangeset for help on using the changeset viewer.