diff options
author | Eric Williams | 2018-12-12 20:57:28 +0000 |
---|---|---|
committer | Eric Williams | 2018-12-12 20:59:37 +0000 |
commit | b77f6b79509853f190eb31215268489bd7fd5f8a (patch) | |
tree | 67c2c1d22447c8521100a849cbacb3777cda3f9e | |
parent | 79883b32745e9d7a70a79ad10b4e4b702b0fab9d (diff) | |
download | eclipse.platform.swt-b77f6b79509853f190eb31215268489bd7fd5f8a.tar.gz eclipse.platform.swt-b77f6b79509853f190eb31215268489bd7fd5f8a.tar.xz eclipse.platform.swt-b77f6b79509853f190eb31215268489bd7fd5f8a.zip |
Bug 541381: [GTK4] Replace gtk_container_get_border_width()
Fix up certain margin calls to prevent stack overflow.
Change-Id: I6ba117b27961127ee8a283a7da0cafd587640e18
Signed-off-by: Eric Williams <ericwill@redhat.com>
-rw-r--r-- | bundles/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/GTK.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bundles/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/GTK.java b/bundles/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/GTK.java index b1d119bc9d..45275fb9c8 100644 --- a/bundles/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/GTK.java +++ b/bundles/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/GTK.java @@ -8320,7 +8320,7 @@ public class GTK extends OS { public static final int gtk_widget_get_margin_start (long /*int*/ widget) { lock.lock(); try { - return gtk_widget_get_margin_start(widget); + return _gtk_widget_get_margin_start(widget); } finally { lock.unlock(); } @@ -8333,7 +8333,7 @@ public class GTK extends OS { public static final int gtk_widget_get_margin_end (long /*int*/ widget) { lock.lock(); try { - return gtk_widget_get_margin_end(widget); + return _gtk_widget_get_margin_end(widget); } finally { lock.unlock(); } |