Changeset 5667
- Timestamp:
- 10/09/08 12:19:19 (6 weeks ago)
- Location:
- branches/ProtocolEditor/src
- Files:
-
- 2 modified
-
ui/XMLView.java (modified) (1 diff)
-
xmlMVC/ConfigConstants.java (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
branches/ProtocolEditor/src/ui/XMLView.java
r5666 r5667 229 229 controller.getAction(Controller.EXPORT_ALL_TEXT), 230 230 controller.getAction(Controller.EXPORT_HIGHLTD_TEXT), 231 controller.getAction(Controller.EXPORT_ALL_WIKI)}; 231 //controller.getAction(Controller.EXPORT_ALL_WIKI) 232 }; 232 233 JButton printButton = new PopupMenuButton("Export the current file for printing", 233 234 printIcon, printExportActions); -
branches/ProtocolEditor/src/xmlMVC/ConfigConstants.java
r5634 r5667 63 63 * 64 64 */ 65 public static final String EDITOR_VERSION_NUMBER = "3.0-3.1 ";65 public static final String EDITOR_VERSION_NUMBER = "3.0-3.1.2"; 66 66 /** 67 67 * This is an identifier, eg. for Exception handler's bug reporter.
