[frontend] Avoid redrawing of fixed headers if the editor size hasn't changed
if (ace().session.getLength() == editorHeight) {
resized = false;
}
- if (resized) {
+ if (resized && $target.height() !== lastEditorSize) {
ace().resize();
editorHeight = Math.min(maxAutoLines, ace().session.getLength());
+ lastEditorSize = $target.height();
huePubSub.publish('redraw.fixed.headers');
}
}
