Fixed window resize

master
Marco Maccaferri 2019-01-05 19:21:43 +01:00
rodzic 074f7690df
commit 5e9ea1a60e
2 zmienionych plików z 2 dodań i 0 usunięć

Wyświetl plik

@ -73,6 +73,7 @@ public class DebugTerminal extends Window {
GridLayout layout = new GridLayout(1, false);
layout.marginWidth = layout.marginHeight = 0;
container.setLayout(layout);
container.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true));
term = new Terminal(container) {

Wyświetl plik

@ -147,6 +147,7 @@ public class SerialTerminal extends Window {
GridLayout layout = new GridLayout(1, false);
layout.marginWidth = layout.marginHeight = 0;
container.setLayout(layout);
container.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true));
term = new Terminal(container) {