X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=8cd2a9a73cbb97b689806045d2efb30d09c948a8;hb=6b61a9e6698a7c1936adf217b599e34e65a5e4c9;hp=0eaaaa7800e8a8e2bcb5aba2bfcf4258b05813b9;hpb=5c1b44dfefa085fbb56e23047652d3650be9d855;p=helm.git

diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 0eaaaa780..8cd2a9a73 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -1180,6 +1180,14 @@
                                 </child>
                               </widget>
                             </child>
+                            <child>
+                              <widget class="GtkImageMenuItem" id="showTermGrammarMenuItem">
+                                <property name="visible">True</property>
+                                <property name="tooltip" translatable="yes">Displays the term grammar</property>
+                                <property name="label" translatable="yes">Show term's grammar</property>
+                                <property name="use_underline">True</property>
+                              </widget>
+                            </child>
                           </widget>
                         </child>
                       </widget>
@@ -1222,6 +1230,14 @@
                                 </child>
                               </widget>
                             </child>
+                            <child>
+                              <widget class="GtkImageMenuItem" id="showUnicodeTable">
+                                <property name="visible">True</property>
+				<property name="tooltip" translatable="yes">Displays the Tex/Unicode table</property>
+				<property name="label" translatable="yes">Show Tex/Unicode table</property>
+                                <property name="use_underline">True</property>
+                              </widget>
+                            </child>
                             <child>
                               <widget class="GtkImageMenuItem" id="aboutMenuItem">
                                 <property name="visible">True</property>