comparison dwt/browser/Safari.d @ 46:cfa563df4fdd

Updated Widget and Display to 3.514
author Jacob Carlborg <doob@me.com>
date Fri, 05 Dec 2008 16:00:41 +0100
parents d8635bb48c7c
children 5583f8eeee6c
comparison
equal deleted inserted replaced
45:d8635bb48c7c 46:cfa563df4fdd
889 location = null; 889 location = null;
890 size = null; 890 size = null;
891 } 891 }
892 892
893 void webView_setFrame(int /*long*/ sender, int /*long*/ frame) { 893 void webView_setFrame(int /*long*/ sender, int /*long*/ frame) {
894 NSRect rect = new NSRect(); 894 NSRect rect = NSRect();
895 OS.memmove(rect, frame, NSRect.sizeof); 895 OS.memmove(rect, frame, NSRect.sizeof);
896 /* convert to DWT system coordinates */ 896 /* convert to DWT system coordinates */
897 Rectangle bounds = browser.getDisplay().getBounds(); 897 Rectangle bounds = browser.getDisplay().getBounds();
898 location = new Point((int)rect.x, bounds.height - (int)rect.y - (int)rect.height); 898 location = new Point((int)rect.x, bounds.height - (int)rect.y - (int)rect.height);
899 size = new Point((int)rect.width, (int)rect.height); 899 size = new Point((int)rect.width, (int)rect.height);