[MOBY-guts] biomoby commit

Andreas Groscurth groscurt at dev.open-bio.org
Mon Feb 2 09:05:15 UTC 2009


groscurt
Mon Feb  2 04:05:14 EST 2009
Update of /home/repository/moby/moby-live/Java/src/main/org/biomoby/service/dashboard
In directory dev.open-bio.org:/tmp/cvs-serv19546/src/main/org/biomoby/service/dashboard

Modified Files:
	RegistrationDataTypeSubPanel.java 
Log Message:

moby-live/Java/src/main/org/biomoby/service/dashboard RegistrationDataTypeSubPanel.java,1.13,1.14
===================================================================
RCS file: /home/repository/moby/moby-live/Java/src/main/org/biomoby/service/dashboard/RegistrationDataTypeSubPanel.java,v
retrieving revision 1.13
retrieving revision 1.14
diff -u -r1.13 -r1.14
--- /home/repository/moby/moby-live/Java/src/main/org/biomoby/service/dashboard/RegistrationDataTypeSubPanel.java	2009/01/26 08:29:58	1.13
+++ /home/repository/moby/moby-live/Java/src/main/org/biomoby/service/dashboard/RegistrationDataTypeSubPanel.java	2009/02/02 09:05:13	1.14
@@ -423,7 +423,7 @@
 	    final SwingWorker worker = new SwingWorker() {
 		    public Object construct() {
 			try {
-				unregisButton.setEnabled( false );
+//				unregisButton.setEnabled( false );
 			    MobyDataType dataType = new MobyDataType (dataTypeName);
 			    console.setText ("Data type to be unregistered: " + dataTypeName + "\n");
 			    registryModel.unRegisterDataType (dataType);
@@ -438,7 +438,7 @@
 
 		    // runs on the event-dispatching thread.
 		    public void finished() {
-		    	unregisButton.setEnabled( true );
+//		    	unregisButton.setEnabled( true );
 			if (dtUnregException != null)
 			    error (DATA_TYPE_UNREG_PROLOGUE, dtUnregException);
 		    }




More information about the MOBY-guts mailing list