Changeset 32

Timestamp:

10/02/02 18:28:56 (20 years ago)

Author:

piso

Message:

getToolBar()

File:

• trunk/j/src/org/armedbear/j/JavaMode.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.1.1.1 2002-09-24 16:08:17 piso Exp $
+ * $Id: JavaMode.java,v 1.2 2002-10-02 18:28:56 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -148 +148 @@
     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();
     }