| Index: tools/ddbg/lib/commando.dart
|
| ===================================================================
|
| --- tools/ddbg/lib/commando.dart (revision 30862)
|
| +++ tools/ddbg/lib/commando.dart (working copy)
|
| @@ -263,6 +263,8 @@
|
|
|
| void _clearScreen() {
|
| _stdout.write(_term.clear);
|
| + _term.resize();
|
| + _screenWidth = _term.cols - 1;
|
| _writePromptAndLine();
|
| }
|
|
|
| @@ -372,7 +374,6 @@
|
|
|
| _currentLine = [];
|
| _cursorPos = 0;
|
| - _linePos = _lines.length;
|
| if (_promptShown) {
|
| _writePrompt();
|
| }
|
| @@ -593,7 +594,6 @@
|
|
|
| int _nextMargin(int pos) {
|
| var truePos = pos + prompt.length;
|
| - var curLine = _getLine(pos);
|
| return ((truePos ~/ _screenWidth) + 1) * _screenWidth - prompt.length;
|
| }
|
|
|
|
|