public void prefferedSizeByContents(final int maximumLines) { if (getEditor1() == null && getEditor2() == null) return; if (getEditor1() != null) { getEditor1().getSettings().setAdditionalLinesCount(0); getEditor1().getSettings().setAdditionalPageAtBottom(false); } if (getEditor2() != null) { getEditor2().getSettings().setAdditionalLinesCount(0); getEditor2().getSettings().setAdditionalPageAtBottom(false); } myPanel.setPrefferedWidth(20); myPanel.setPreferredHeightGetter( new Getter<Integer>() { @Override public Integer get() { final int size1 = getEditor1() == null ? 10 : getEditor1().getComponent().getPreferredSize().height; final int size2 = getEditor2() == null ? 10 : getEditor2().getComponent().getPreferredSize().height; final int lineHeight = getEditor1() == null ? getEditor2().getLineHeight() : getEditor1().getLineHeight(); final int size = Math.max(size1, size2); if (maximumLines > 0) { return Math.min(size, maximumLines * lineHeight); } return size; } }); }
public void reset() { // myUi.getContentManager().removeAllContents(false); myPanel.setPreferredHeightGetter(null); }