Хорошо, я понял это. Вот что у меня было сначала (в псевдокоде):
webBrowser.setSize (shell.width, shell.height);
.
webComposite.getParent () компоновка ();
Оказывается, мне нужно было в значительной степени восстановить браузер и его композицию так же, как я это делал, когда восстанавливал дерево файлов (потому что я знал, что после этого действия его размер был корректным). Код выше был заменен на:
webComposite.setLayoutData (новые GridData (SWT.LEFT, SWT.TOP, true, true));
webComposite.setBounds (widthOfTreeComposite, 0, shell.width, shell.height);
webComposite.setSize (shell.width, shell.height);
webBrowser.setLayoutData (новые GridData (SWT.LEFT, SWT.TOP, true, true));
webBrowser.setBounds (0, 0, shell.width, shell.height);