1
#! /bin/sh /usr/share/dpatch/dpatch-run
2
## 03_resize_grips.dpatch by Cody Russell <bratsche@gnome.org>
3
## Author: Cody Russell <bratsche@gnome.org>
5
## All lines beginning with `## DP:' are a description of the patch.
6
## DP: Adds GtkWindow.HasResizeGrip property, needed in order to
7
## DP: disable GTK+ resize grips for gnome-do windows.
10
diff -urNad '--exclude=CVS' '--exclude=.svn' '--exclude=.git' '--exclude=.arch' '--exclude=.hg' '--exclude=_darcs' '--exclude=.bzr' gtk-sharp2~/gtk/gtk-api.raw gtk-sharp2/gtk/gtk-api.raw
11
--- gtk-sharp2~/gtk/gtk-api.raw 2011-01-14 11:28:39.000000000 -0600
12
+++ gtk-sharp2/gtk/gtk-api.raw 2011-01-14 11:29:33.197652739 -0600
13
@@ -19099,6 +19099,7 @@
14
<property name="Screen" cname="screen" type="GdkScreen" readable="true" writeable="true" />
15
<property name="IsActive" cname="is-active" type="gboolean" readable="true" />
16
<property name="HasToplevelFocus" cname="has-toplevel-focus" type="gboolean" readable="true" />
17
+ <property name="HasResizeGrip" cname="has-resize-grip" type="gboolean" readable="true" writeable="true" />
18
<property name="TypeHint" cname="type-hint" type="GdkWindowTypeHint" readable="true" writeable="true" />
19
<property name="SkipTaskbarHint" cname="skip-taskbar-hint" type="gboolean" readable="true" writeable="true" />
20
<property name="SkipPagerHint" cname="skip-pager-hint" type="gboolean" readable="true" writeable="true" />