Changeset 37

Timestamp:

10/03/02 17:37:27 (20 years ago)

Author:

piso

Message:

Don't override getToolBar().

Location:

trunk/j/src/org/armedbear/j

Files:

• JavaMode.java (modified) (2 diffs)
• PHPMode.java (modified) (2 diffs)

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

@@ -3 +3 @@
  *
  * Copyright (C) 1998-2002 Peter Graves
- * $Id: JavaMode.java,v 1.2 2002-10-02 18:28:56 piso Exp $
+ * $Id: JavaMode.java,v 1.3 2002-10-03 17:36:54 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -144 +144 @@
             km.mapKey(0xbb, CTRL_MASK | SHIFT_MASK, "insertBraces");
         }
-    }
-
-    public ToolBar getToolBar(Frame frame)
-    {
-        String fileName =
-            Editor.preferences().getStringProperty("JavaMode.toolBar");
-        if (fileName != null) {
-            File file = File.getInstance(fileName);
-            if (file != null && file.isFile()) {
-                ToolBar tb = ToolBar.createToolBar(frame, file);
-                if (tb != null)
-                    return tb;
-            }
-        }
-        return frame.getDefaultToolBar();
     }
 

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

@@ -3 +3 @@
  *
  * Copyright (C) 2002 Peter Graves
- * $Id: PHPMode.java,v 1.1.1.1 2002-09-24 16:07:55 piso Exp $
+ * $Id: PHPMode.java,v 1.2 2002-10-03 17:37:27 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -60 +60 @@
     {
         return new PHPFormatter(buffer);
-    }
-
-    public ToolBar getToolBar(Frame frame)
-    {
-        return frame.getDefaultToolBar();
     }