wok-current view moserial/stuff/glade.patch @ rev 23164
updated mapserver (7.4.0 -> 7.4.3)
| author | Hans-G?nter Theisgen |
|---|---|
| date | Tue Mar 17 15:05:55 2020 +0100 (2020-03-17) |
| parents | |
| children |
line source
1 --- moserial/source/moserial-2.32.1/data/glade/moserial.glade
2 +++ moserial.new/source/moserial-2.32.1/data/glade/moserial.glade
3 @@ -204,26 +204,6 @@
4 <property name="use_stock">True</property>
5 </widget>
6 </child>
7 -
8 - <child>
9 - <widget class="GtkImageMenuItem" id="menubar_contents">
10 - <property name="visible">True</property>
11 - <property name="label" translatable="yes">_Contents</property>
12 - <property name="use_underline">True</property>
13 - <accelerator key="F1" modifiers="0" signal="activate"/>
14 -
15 - <child internal-child="image">
16 - <widget class="GtkImage" id="menu-item-image4">
17 - <property name="stock">gtk-help</property>
18 - <property name="icon_size">4</property>
19 - <property name="xalign">0.5</property>
20 - <property name="yalign">0.5</property>
21 - <property name="xpad">0</property>
22 - <property name="ypad">0</property>
23 - </widget>
24 - </child>
25 - </widget>
26 - </child>
27 </widget>
28 </child>
29 </widget>
30 @@ -388,22 +368,7 @@
31 </packing>
32 </child>
34 - <child>
35 - <widget class="GtkToolButton" id="toolbar_help">
36 - <property name="visible">True</property>
37 - <property name="tooltip" translatable="yes">Help</property>
38 - <property name="label" translatable="yes">Help</property>
39 - <property name="use_underline">True</property>
40 - <property name="stock_id">gtk-help</property>
41 - <property name="visible_horizontal">True</property>
42 - <property name="visible_vertical">True</property>
43 - <property name="is_important">True</property>
44 - </widget>
45 - <packing>
46 - <property name="expand">False</property>
47 - <property name="homogeneous">True</property>
48 - </packing>
49 - </child>
50 +
51 </widget>
52 <packing>
53 <property name="padding">0</property>