X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fmatita.glade;h=85c9f280940226c4e8335b5cadabbcbbf278156a;hb=e8656c819b0b5e7bea7b4da244015b480af5f0f5;hp=28a5e609f44a920e49cc9ca805d00ecb567a9688;hpb=eebe90eef0aa7997fc6cfc926b7bbf1899b5080d;p=helm.git

diff --git a/matita/matita/matita.glade b/matita/matita/matita.glade
index 28a5e609f..85c9f2809 100644
--- a/matita/matita/matita.glade
+++ b/matita/matita/matita.glade
@@ -212,7 +212,15 @@
                       <widget class="GtkHBox" id="UriHBox">
                         <property name="visible">True</property>
                         <child>
-                          <placeholder/>
+                          <widget class="GtkEntry" id="browserUri">
+                            <property name="visible">True</property>
+                            <property name="can_focus">True</property>
+                            <property name="has_focus">True</property>
+                            <property name="invisible_char">&#x25CF;</property>
+                          </widget>
+                          <packing>
+                            <property name="position">0</property>
+                          </packing>
                         </child>
                       </widget>
                       <packing>
@@ -699,7 +707,7 @@
                                 <property name="visible">True</property>
                                 <property name="use_underline">True</property>
                                 <property name="use_stock">True</property>
-                                <accelerator key="q" signal="activate" modifiers="GDK_CONTROL_MASK"/>
+                                <accelerator key="w" signal="activate" modifiers="GDK_CONTROL_MASK"/>
                               </widget>
                             </child>
                             <child>