Changeset 139:0293e85d6a21

Timestamp:

08/01/2008 10:55:27 AM (4 months ago)

Author:

marc@f1.local

branch:

default

Message:

A Fix for #77?

Files:

• development/java/field/core/plugins/python/PythonPluginEditor.java (modified) (7 diffs)

development/java/field/core/plugins/python/PythonPluginEditor.java

@@ -48 +48 @@
-import field.core.ui.PopupTextBox;
-import field.core.ui.SmallMenu;
-import field.core.ui.SmallMenu.BetterPopup;
-import field.core.ui.text.PythonTextEditor;
-import field.core.ui.text.BaseTextEditor2.SpringUtilities;
@@ -815 +814 @@
-                }.setInterface(new DefaultEditorExecutionInterface(root)).setVisible(true);
-
-
-
-
+
+
+
-                editor.setEnabled(false);
-
@@ -1010 +1009 @@
-                        editor.setEnabled(false);
-                        currentlyEditingProperty= prop;
+                        editor.setActionMenu(null);
-                } else if (selected.size() > 1) {
-                        if (currentlyEditing != null) {
@@ -1019 +1019 @@
-                        editor.setEnabled(false);
-                        currentlyEditingProperty = prop;
+                        editor.setActionMenu(null);
-                } else {
-                        if (currentlyEditing != null) {
@@ -1036 +1037 @@
-                                editor.setEnabled(false);
-                                banner = "disabled (no selection)";
+                                editor.setActionMenu(null);
-                        } else if (!canEdit(visualElement)) {
-                                editor.setEnabled(false);
-                                banner = "disabled (python_noEdit has been set)";
+                                editor.setActionMenu(null);
-                        } else
-                                editor.setEnabled(true);
@@ -1139 +1142 @@
-                        editor.setFilename(new HistoryExplorerHG(pathToRepository, sheetname), pathToRepository + "/" + sheetname + "/" + element.getUniqueID() + "/" + prop.getName() + ".property", stringAtSwapIn);
-
-
+
-                        LinkedHashMap<String, iUpdateable> inheritanceMenu = new LinkedHashMap<String, iUpdateable>();
-
+
-                        inheritanceMenu.put("Property Inheritance", null);
-                        inheritanceMenu.put(" \u232b delete this property from this element", new iUpdateable(){
@@ -1148 +1151 @@
-                                        swapOut(currentlyEditing, "");
-                                        currentlyEditingProperty.delete(currentlyEditing, currentlyEditing);
+                                        swapIn(currentlyEditing, currentlyEditingProperty);
-                                }});
-
-
+
+
-                        editor.setActionMenu(new SmallMenu().createMenu(inheritanceMenu, null));
-
-                } else {
-                        banner = "disabled (no selection)";
+                        editor.setActionMenu(null);
-                }
-        }