Changeset 5634

Timestamp:

09/29/08 15:43:01 (8 weeks ago)

Author:

will

Message:

Beta 3.1

Location:

branches/ProtocolEditor/src

Files:

• tree/DataField.java (modified) (2 diffs)
• ui/components/TextImporter.java (modified) (1 diff)
• xmlMVC/ConfigConstants.java (modified) (1 diff)

branches/ProtocolEditor/src/tree/DataField.java

@@ -143 +143 @@
          */
         public Map<String, String> setAttributes(String title, Map<String, String> keyValuePairs, boolean rememberUndo) {
-                System.out.println("DataField.setAttributeS (notifyObservers="+ rememberUndo +"): " + title);
+                //System.out.println("DataField.setAttributeS (notifyObservers="+ rememberUndo +"): " + title);
                 
                 /*
@@ -170 +170 @@
         
         public void setAttribute(String name, String value) {
-                System.out.println("      setAttribute: " + name + "=" + value);
+                //System.out.println("      setAttribute: " + name + "=" + value);
                 allAttributesMap.put(name, value);
         }

branches/ProtocolEditor/src/ui/components/TextImporter.java

@@ -210 +210 @@
                 clearButton.setBackground(null);
                 toolbarBox.add(clearButton);
+                
+                toolbarBox.add(Box.createHorizontalStrut(BUTTON_SPACING));
+                toolbarBox.add(new JSeparator(SwingConstants.VERTICAL));
+                toolbarBox.add(Box.createHorizontalStrut(BUTTON_SPACING));
                 
                 // Paste button 

branches/ProtocolEditor/src/xmlMVC/ConfigConstants.java

@@ -71 +71 @@
          * the EDITOR_VERSION_NUMBER.
          */
-        public static final String EDITOR_RELEASE_ID = EDITOR_VERSION_NUMBER + "rc1";
+        public static final String EDITOR_RELEASE_ID = EDITOR_VERSION_NUMBER + "";
 
 }