Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKonrad Kolosowski2004-06-02 17:56:28 +0000
committerKonrad Kolosowski2004-06-02 17:56:28 +0000
commit6398bdbe75e31923383c317817bf78070457ee7c (patch)
treec28db295951c1b12db5d2b4c416251cde5c85d65
parent46f1027e8593d6cdb0ae1d499a4e7595971eb0d4 (diff)
downloadeclipse.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.java29
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");

Back to the top