diff options
author | Konrad Kolosowski | 2004-06-02 17:56:28 +0000 |
---|---|---|
committer | Konrad Kolosowski | 2004-06-02 17:56:28 +0000 |
commit | 6398bdbe75e31923383c317817bf78070457ee7c (patch) | |
tree | c28db295951c1b12db5d2b4c416251cde5c85d65 | |
parent | 46f1027e8593d6cdb0ae1d499a4e7595971eb0d4 (diff) | |
download | eclipse.platform.ua-6398bdbe75e31923383c317817bf78070457ee7c.tar.gz eclipse.platform.ua-6398bdbe75e31923383c317817bf78070457ee7c.tar.xz eclipse.platform.ua-6398bdbe75e31923383c317817bf78070457ee7c.zip |
65156 Help window alwas at top left screen corner on GTK
-rw-r--r-- | org.eclipse.help.ui/src/org/eclipse/help/ui/internal/browser/embedded/EmbeddedBrowser.java | 29 |
1 files changed, 21 insertions, 8 deletions
diff --git a/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/browser/embedded/EmbeddedBrowser.java b/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/browser/embedded/EmbeddedBrowser.java index 5c16b2eff..a1738ea8d 100644 --- a/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/browser/embedded/EmbeddedBrowser.java +++ b/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/browser/embedded/EmbeddedBrowser.java @@ -64,14 +64,10 @@ public class EmbeddedBrowser { shell.addDisposeListener(new DisposeListener() { public void widgetDisposed(DisposeEvent e) { // save position - store.setValue(BROWSER_X, Integer - .toString(shell.getLocation().x)); - store.setValue(BROWSER_Y, Integer - .toString(shell.getLocation().y)); - store.setValue(BROWSER_WIDTH, Integer - .toString(shell.getSize().x)); - store.setValue(BROWSER_HEIGTH, Integer - .toString(shell.getSize().y)); + store.setValue(BROWSER_X, Integer.toString(x)); + store.setValue(BROWSER_Y, Integer.toString(y)); + store.setValue(BROWSER_WIDTH, Integer.toString(w)); + store.setValue(BROWSER_HEIGTH, Integer.toString(h)); store.setValue(BROWSER_MAXIMIZED, (new Boolean(shell .getMaximized()).toString())); } @@ -93,6 +89,23 @@ public class EmbeddedBrowser { setSafeBounds(shell, x, y, w, h); if (store.getBoolean(BROWSER_MAXIMIZED)) shell.setMaximized(true); + shell.addControlListener(new ControlListener() { + public void controlMoved(ControlEvent e) { + if (!shell.getMaximized()) { + Point location = shell.getLocation(); + x = location.x; + y = location.y; + } + } + public void controlResized(ControlEvent e) { + if (!shell.getMaximized()) { + Point size = shell.getSize(); + w = size.x; + h = size.y; + } + } + }); + // shell.open(); //browser.setUrl("about:blank"); |