Changeset 12743

Timestamp:

27.10.2009 17:02:41 (4 weeks ago)

Author:

maeder

Message:

shortened comorphism name

Location:

trunk/GUI

Files:

• Glade/ConsistencyChecker.glade (modified) (7 diffs)
• GtkConsistencyChecker.hs (modified) (4 diffs)

trunk/GUI/Glade/ConsistencyChecker.glade

@@ -7 +7 @@
       <widget class="GtkVBox" id="vbox3">
         <property name="visible">True</property>
-        <property name="orientation">vertical</property>
         <child>
           <widget class="GtkHBox" id="hbox1">
@@ -14 +13 @@
               <widget class="GtkVBox" id="vbox4">
                 <property name="visible">True</property>
-                <property name="orientation">vertical</property>
                 <child>
                   <widget class="GtkFrame" id="frame2">
@@ -152 +150 @@
               <widget class="GtkVBox" id="vbox1">
                 <property name="visible">True</property>
-                <property name="orientation">vertical</property>
                 <child>
                   <widget class="GtkFrame" id="frame3">
@@ -167 +164 @@
                           <widget class="GtkVBox" id="vbox2">
                             <property name="visible">True</property>
-                            <property name="orientation">vertical</property>
                             <child>
                               <widget class="GtkHBox" id="hbox4">
@@ -279 +275 @@
                             <property name="xalign">0</property>
                             <property name="yalign">0</property>
-                            <property name="label" translatable="yes">No sublogic given</property>
+                            <property name="label" translatable="yes">No sublogic</property>
                             <property name="use_markup">True</property>
                           </widget>
@@ -288 +284 @@
                       <widget class="GtkLabel" id="label5">
                         <property name="visible">True</property>
-                        <property name="label" translatable="yes">Sublogic of currently selected theory:</property>
+                        <property name="label" translatable="yes">Sublogic of selected theories:</property>
                         <property name="use_markup">True</property>
                       </widget>
@@ -466 +462 @@
       <widget class="GtkVBox" id="vbox5">
         <property name="visible">True</property>
-        <property name="orientation">vertical</property>
         <child>
           <widget class="GtkHBox" id="hbox2">

trunk/GUI/GtkConsistencyChecker.hs

@@ -148 +148 @@
                     Just (_,f) -> do
                       case comorphs f !! selected f of
-                        (Comorphism cid) ->
-                          labelSetLabel lblComorphism $ language_name cid
+                        Comorphism cid ->
+                          let cName = language_name cid
+                              dName = drop 1 $ dropWhile (/= ';') cName
+                          in labelSetLabel lblComorphism
+                            $ if null dName then "identity" else dName
                       widgetSetSensitive btnCheck True
                     Nothing -> do
@@ -161 +164 @@
                                        labelSetLabel lblSublogic $ show s
                                        updateFinder trvFinder listFinder s)
-                                    (do labelSetLabel lblSublogic
-                                                      "No sublogic given"
+                                    (do labelSetLabel lblSublogic "No sublogic"
                                         listStoreClear listFinder
                                         activate widgets False
@@ -201 +203 @@
     activate checkWidgets False
     timeout <- spinButtonGetValueAsInt sbTimeout
-    (update, exit) <- progressBar "Checking consistency" "please wait..."
+    (updat, exit) <- progressBar "Checking consistency" "please wait..."
     nodes' <- getSelectedMultiple trvNodes listNodes
     mf <- getSelectedSingle trvFinder listFinder
@@ -209 +211 @@
     switch False
     forkIOWithPostProcessing
-      (check ln le dg f timeout update nodes' stop)
+      (check ln le dg f timeout updat nodes' stop)
       $ \ res -> do
         widgetSetSensitive btnStop False