222223224225226227228229230231
int editorHeight = panelHeight - HEADER_HEIGHT - TOOLS_HEIGHT - MARGIN_BOTTOM; if (panelHeight > 0) { editor.setHeight(editorHeight + "px"); visibleLines = editorHeight / 16; circuit.dispatch(new ChangePageSize(visibleLines)); } } }); }
220221222223224225226227228229
210211212213214215216217218219
221222223224225226227228229230
int editorHeight = panelHeight - HEADER_HEIGHT - TOOLS_HEIGHT - MARGIN_BOTTOM; if (panelHeight > 0) { editor.setHeight(editorHeight + "px"); visibleLines = editorHeight / 17; circuit.dispatch(new ChangePageSize(visibleLines)); } } }); }
153154155156157158159160161162
int editorHeight = panelHeight - HEADER_HEIGHT - TOOLS_HEIGHT - MARGIN_BOTTOM; if (panelHeight > 0) { editor.setHeight(editorHeight + "px"); int lines = editorHeight / 16; // line-height circuit.dispatch(new ChangePageSize(lines)); } } }); }
217218219220221222223224225226