Changeset 8674


Ignore:
Timestamp:
03/01/05 20:24:03 (16 years ago)
Author:
piso
Message:

setGlobalKeyMap()

File:
1 edited

Legend:

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

    r7663 r8674  
    33 *
    44 * Copyright (C) 1998-2003 Peter Graves
    5  * $Id: KeyMap.java,v 1.20 2004-09-13 02:03:08 piso Exp $
     5 * $Id: KeyMap.java,v 1.21 2005-03-01 20:24:03 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    6262        }
    6363        return globalKeyMap;
     64    }
     65
     66    public static synchronized void setGlobalKeyMap(KeyMap keyMap)
     67    {
     68        globalKeyMap = keyMap;
    6469    }
    6570
     
    380385
    381386    public synchronized final KeyMapping lookup(char keyChar, int keyCode,
    382         int modifiers)
     387                                                int modifiers)
    383388    {
    384389        // Mask off the bits we don't care about (Java 1.4).
     
    481486    {
    482487        KeyMapping mapping = KeyMapping.createKeyMapping(s);
    483         if (mapping != null)         {
     488        if (mapping != null) {
    484489            mappings.add(mapping);
    485490            return true;
Note: See TracChangeset for help on using the changeset viewer.