Changeset 180

Timestamp:

10/26/02 01:28:17 (20 years ago)

Author:

piso

Message:

Minor cleanup.

File:

• trunk/j/src/org/armedbear/j/API.java (modified) (3 diffs)

trunk/j/src/org/armedbear/j/API.java

@@ -3 +3 @@
  *
  * Copyright (C) 2002 Peter Graves
- * $Id: API.java,v 1.1.1.1 2002-09-24 16:09:26 piso Exp $
+ * $Id: API.java,v 1.2 2002-10-26 01:28:17 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -31 +31 @@
     {
         KeyMap km = KeyMap.getGlobalOverrides(true);
-        synchronized(km)
-        {
+        synchronized(km) {
             km.mapKey(keyText, command);
         }
@@ -40 +39 @@
     {
         KeyMap km = KeyMap.getGlobalOverrides(true);
-        synchronized(km)
-        {
+        synchronized(km) {
             km.mapKey(keyText, null);
         }