From Ubuntu: disable help buttons since gnome-panel help is no longer in
the GNOME user guide. (https://bugs.launchpad.net/ubuntu/+source/gnome-panel/+bug/885959)
This commit is contained in:
parent
517fbac85d
commit
adc0b9e75a
@ -1,4 +1,4 @@
|
||||
# $OpenBSD: Makefile,v 1.111 2012/01/04 10:47:01 ajacoutot Exp $
|
||||
# $OpenBSD: Makefile,v 1.112 2012/01/25 18:18:13 ajacoutot Exp $
|
||||
|
||||
SHARED_ONLY= Yes
|
||||
|
||||
@ -6,7 +6,7 @@ COMMENT= GNOME panel
|
||||
|
||||
GNOME_PROJECT= gnome-panel
|
||||
GNOME_VERSION= 3.2.1
|
||||
REVISION= 6
|
||||
REVISION= 7
|
||||
|
||||
SHARED_LIBS= panel-applet-4 1.0 # 0.0
|
||||
|
||||
|
19
x11/gnome/panel/patches/patch-gnome-panel_panel-addto_c
Normal file
19
x11/gnome/panel/patches/patch-gnome-panel_panel-addto_c
Normal file
@ -0,0 +1,19 @@
|
||||
$OpenBSD: patch-gnome-panel_panel-addto_c,v 1.1 2012/01/25 18:18:13 ajacoutot Exp $
|
||||
|
||||
From Ubuntu: disable help buttons since gnome-panel help is no longer in
|
||||
the GNOME user guide.
|
||||
(https://bugs.launchpad.net/ubuntu/+source/gnome-panel/+bug/885959)
|
||||
|
||||
--- gnome-panel/panel-addto.c.orig Mon Aug 1 19:39:56 2011
|
||||
+++ gnome-panel/panel-addto.c Wed Jan 25 18:55:43 2012
|
||||
@@ -1243,8 +1243,8 @@ panel_addto_dialog_new (PanelWidget *panel_widget)
|
||||
dialog);
|
||||
|
||||
dialog->addto_dialog = gtk_dialog_new ();
|
||||
- gtk_dialog_add_button (GTK_DIALOG (dialog->addto_dialog),
|
||||
- GTK_STOCK_HELP, GTK_RESPONSE_HELP);
|
||||
+ //gtk_dialog_add_button (GTK_DIALOG (dialog->addto_dialog),
|
||||
+ // GTK_STOCK_HELP, GTK_RESPONSE_HELP);
|
||||
dialog->back_button = gtk_dialog_add_button (GTK_DIALOG (dialog->addto_dialog),
|
||||
GTK_STOCK_GO_BACK,
|
||||
PANEL_ADDTO_RESPONSE_BACK);
|
23
x11/gnome/panel/patches/patch-gnome-panel_panel-menu-bar_c
Normal file
23
x11/gnome/panel/patches/patch-gnome-panel_panel-menu-bar_c
Normal file
@ -0,0 +1,23 @@
|
||||
$OpenBSD: patch-gnome-panel_panel-menu-bar_c,v 1.4 2012/01/25 18:18:14 ajacoutot Exp $
|
||||
|
||||
From Ubuntu: disable help buttons since gnome-panel help is no longer in
|
||||
the GNOME user guide.
|
||||
(https://bugs.launchpad.net/ubuntu/+source/gnome-panel/+bug/885959)
|
||||
|
||||
--- gnome-panel/panel-menu-bar.c.orig Tue Apr 5 12:39:04 2011
|
||||
+++ gnome-panel/panel-menu-bar.c Wed Jan 25 18:55:43 2012
|
||||
@@ -244,12 +244,12 @@ panel_menu_bar_load (PanelWidget *panel,
|
||||
panel_lockdown_get_not_panels_locked_down_s);
|
||||
}
|
||||
|
||||
- panel_applet_add_callback (menubar->priv->info,
|
||||
+ /*panel_applet_add_callback (menubar->priv->info,
|
||||
"help",
|
||||
GTK_STOCK_HELP,
|
||||
_("_Help"),
|
||||
NULL);
|
||||
-
|
||||
+ */
|
||||
panel_menu_bar_object_object_load_finish (PANEL_MENU_BAR_OBJECT (menubar),
|
||||
panel);
|
||||
}
|
@ -0,0 +1,17 @@
|
||||
$OpenBSD: patch-gnome-panel_panel-properties-dialog_ui,v 1.1 2012/01/25 18:18:14 ajacoutot Exp $
|
||||
|
||||
From Ubuntu: disable help buttons since gnome-panel help is no longer in
|
||||
the GNOME user guide.
|
||||
(https://bugs.launchpad.net/ubuntu/+source/gnome-panel/+bug/885959)
|
||||
|
||||
--- gnome-panel/panel-properties-dialog.ui.orig Mon Mar 28 23:08:42 2011
|
||||
+++ gnome-panel/panel-properties-dialog.ui Wed Jan 25 18:55:43 2012
|
||||
@@ -531,7 +531,7 @@
|
||||
<child>
|
||||
<object class="GtkButton" id="helpbutton1">
|
||||
<property name="label">gtk-help</property>
|
||||
- <property name="visible">True</property>
|
||||
+ <property name="visible">False</property>
|
||||
<property name="can_focus">True</property>
|
||||
<property name="can_default">True</property>
|
||||
<property name="receives_default">False</property>
|
@ -0,0 +1,17 @@
|
||||
$OpenBSD: patch-gnome-panel_panel-run-dialog_ui,v 1.1 2012/01/25 18:18:14 ajacoutot Exp $
|
||||
|
||||
From Ubuntu: disable help buttons since gnome-panel help is no longer in
|
||||
the GNOME user guide.
|
||||
(https://bugs.launchpad.net/ubuntu/+source/gnome-panel/+bug/885959)
|
||||
|
||||
--- gnome-panel/panel-run-dialog.ui.orig Tue Feb 1 00:50:19 2011
|
||||
+++ gnome-panel/panel-run-dialog.ui Wed Jan 25 18:55:43 2012
|
||||
@@ -199,7 +199,7 @@
|
||||
<child>
|
||||
<object class="GtkButton" id="help_button">
|
||||
<property name="label">gtk-help</property>
|
||||
- <property name="visible">True</property>
|
||||
+ <property name="visible">False</property>
|
||||
<property name="can_focus">True</property>
|
||||
<property name="can_default">True</property>
|
||||
<property name="receives_default">False</property>
|
Loading…
Reference in New Issue
Block a user