Mercurial > projects > dwt-linux
comparison dwt/browser/MozillaDelegate.d @ 350:373b48b9eaf0
Conclusion of long painful debugging: working Browser package :) (aplha)
author | John Reimer <terminal.node@gmail.com> |
---|---|
date | Sun, 02 Nov 2008 01:30:09 -0800 |
parents | 5abc6f7f7a95 |
children | 59b54fea05d0 |
comparison
equal
deleted
inserted
replaced
349:676785ef6d24 | 350:373b48b9eaf0 |
---|---|
38 //static Callback eventCallback; | 38 //static Callback eventCallback; |
39 // static int /*long*/ eventProc; | 39 // static int /*long*/ eventProc; |
40 static const gpointer STOP_PROPOGATE = cast(gpointer)1; | 40 static const gpointer STOP_PROPOGATE = cast(gpointer)1; |
41 | 41 |
42 static bool IsLinux; | 42 static bool IsLinux; |
43 static this () { | 43 |
44 String osName = System.getProperty ("os.name"); //$NON-NLS-1$ | 44 static this () { |
45 IsLinux = tango.text.Util.containsPattern(osName, "linux"); //$NON-NLS-1$ | 45 String osName = System.getProperty ("os.name"); //$NON-NLS-1$ |
46 } | 46 IsLinux = tango.text.Util.containsPattern(osName, "linux"); //$NON-NLS-1$ |
47 } | |
47 | 48 |
48 this (Browser browser) { | 49 this (Browser browser) { |
49 //super (); | 50 //super (); |
50 if (!IsLinux) { | 51 if (!IsLinux) { |
51 browser.dispose (); | 52 browser.dispose (); |
52 DWT.error (DWT.ERROR_NO_HANDLES, null, " [Unsupported platform]"); //$NON-NLS-1$ | 53 DWT.error (DWT.ERROR_NO_HANDLES, null, " [Unsupported platform]"); //$NON-NLS-1$ |
53 } | 54 } |
54 this.browser = browser; | 55 this.browser = browser; |
55 } | 56 } |
56 | 57 |
57 static extern(C) int eventProc (GtkWidget* handle, GdkEvent* gdkEvent, gpointer pointer) { | 58 static extern(System) int eventProc (GtkWidget* handle, GdkEvent* gdkEvent, gpointer pointer) { |
58 GtkWidget* parent = OS.gtk_widget_get_parent (handle); | 59 GtkWidget* parent = OS.gtk_widget_get_parent (handle); |
59 parent = OS.gtk_widget_get_parent (parent); | 60 parent = OS.gtk_widget_get_parent (parent); |
60 if (parent is null) return 0; | 61 if (parent is null) return 0; |
61 Widget widget = Display.getCurrent ().findWidget (parent); | 62 Widget widget = Display.getCurrent ().findWidget (parent); |
62 if (widget !is null && (cast(Browser)widget) !is null) { | 63 if (widget !is null && (cast(Browser)widget) !is null) { |