|
@@ -189,6 +189,7 @@ class RenderTerminal extends RenderBox with RelayoutWhenSystemFontsChangeMixin {
|
|
|
void _onScroll() {
|
|
void _onScroll() {
|
|
|
_stickToBottom = _scrollOffset >= _maxScrollExtent;
|
|
_stickToBottom = _scrollOffset >= _maxScrollExtent;
|
|
|
markNeedsLayout();
|
|
markNeedsLayout();
|
|
|
|
|
+ _notifyEditableRect();
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
void _onFocusChange() {
|
|
void _onFocusChange() {
|
|
@@ -197,6 +198,7 @@ class RenderTerminal extends RenderBox with RelayoutWhenSystemFontsChangeMixin {
|
|
|
|
|
|
|
|
void _onTerminalChange() {
|
|
void _onTerminalChange() {
|
|
|
markNeedsLayout();
|
|
markNeedsLayout();
|
|
|
|
|
+ _notifyEditableRect();
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
void _onControllerUpdate() {
|
|
void _onControllerUpdate() {
|
|
@@ -247,9 +249,6 @@ class RenderTerminal extends RenderBox with RelayoutWhenSystemFontsChangeMixin {
|
|
|
if (_stickToBottom) {
|
|
if (_stickToBottom) {
|
|
|
_offset.correctBy(_maxScrollExtent - _scrollOffset);
|
|
_offset.correctBy(_maxScrollExtent - _scrollOffset);
|
|
|
}
|
|
}
|
|
|
-
|
|
|
|
|
- SchedulerBinding.instance
|
|
|
|
|
- .addPostFrameCallback((_) => _notifyEditableRect());
|
|
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
/// Total height of the terminal in pixels. Includes scrollback buffer.
|
|
/// Total height of the terminal in pixels. Includes scrollback buffer.
|