private TabContent(OutputDataKey key) { configTextArea.setSizeFull(); configTextArea.addStyleName("borderless"); descriptionLabel = new Label( UIHelper.loadContentFromFile(getClass(), key.getDescriptionFilename()), ContentMode.HTML); VerticalLayout leftLayout = new VerticalLayout(descriptionLabel); leftLayout.setMargin(true); addComponent(configTextArea); addComponent(leftLayout); setSizeFull(); setLocked(false); setSplitPosition(75, Unit.PERCENTAGE); setCaption(key.getTitle()); }
editor.setPropertyDataSource(new TextFileProperty(file)); editor.setImmediate(false); editor.setSizeFull(); editor.setRows(30); editor.setReadOnly(readOnly);
resultArea.setSizeFull();