diff options
author | Dani Megert | 2012-08-21 08:40:36 +0000 |
---|---|---|
committer | Dani Megert | 2012-08-21 08:40:36 +0000 |
commit | dec0a5b7df19eade00ea3afb775606885be3f17a (patch) | |
tree | 907d29c4cb1684c7459f7779726a3238c15f2d2c | |
parent | d40eeb927576256d757aeded761266f550b22ef2 (diff) | |
download | eclipse.platform.text-dec0a5b7df19eade00ea3afb775606885be3f17a.tar.gz eclipse.platform.text-dec0a5b7df19eade00ea3afb775606885be3f17a.tar.xz eclipse.platform.text-dec0a5b7df19eade00ea3afb775606885be3f17a.zip |
Improved workaround for bug 375576: Controls are not fully realizedv20120821-084036
when partOpened(...) , partBroughtToTop(...) and partActivated(...) are
called
-rw-r--r-- | org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java b/org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java index 188cbc340f0..90b92d84f42 100644 --- a/org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java +++ b/org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java @@ -3273,10 +3273,16 @@ public class TextViewer extends Viewer implements // XXX: Workaround for https://bugs.eclipse.org/375576 final Shell shell= fTextWidget.getShell(); // only the shell layout is deferred - while (shell.isLayoutDeferred()) + int d= 0; + for (; shell.isLayoutDeferred(); d++) shell.setLayoutDeferred(false); + try { + internalRevealRange(start, end); + } finally { + for (; d > 0; d--) + shell.setLayoutDeferred(true); + } - internalRevealRange(start, end); } /** |