Lines Matching refs:shell
191 Shell shell = browser.getShell();
200 shell.setSize(shell.getSize().x, useHeight);
207 Point size = shell.getSize();
208 shell.setSize(size.x, size.y + delta + 1);
215 Point size = shell.getSize();
216 shell.setSize(offsetWidth + ((EnvironmentUtils.IS_MAC) ? 6 : 10), size.y);
221 if (shell.getSize().y < 30) {
314 Shell shell = label.getShell();
315 shell.setVisible(true);