reflow_strategy_wider.dart 1.7 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849
  1. import 'dart:math';
  2. import 'package:xterm/buffer/buffer.dart';
  3. import 'package:xterm/buffer/buffer_line.dart';
  4. import 'package:xterm/buffer/reflow_strategy.dart';
  5. import 'package:xterm/utli/circular_list.dart';
  6. class ReflowStrategyWider extends ReflowStrategy {
  7. ReflowStrategyWider(Buffer buffer) : super(buffer);
  8. @override
  9. void reflow(int newCols, int newRows, int oldCols, int oldRows) {
  10. for (var i = 0; i < buffer.lines.length; i++) {
  11. final line = buffer.lines[i];
  12. for (var offset = 1; i + offset < buffer.lines.length; offset++) {
  13. final nextLine = buffer.lines[i + offset];
  14. if (!nextLine.isWrapped) {
  15. break;
  16. }
  17. final lineLength = line.getTrimmedLength(oldCols);
  18. final spaceOnLine = newCols - lineLength;
  19. if (spaceOnLine <= 0) {
  20. // no more space to unwrap
  21. break;
  22. }
  23. final nextLineLength = nextLine.getTrimmedLength(oldCols);
  24. final moveCount = min(spaceOnLine, nextLineLength);
  25. line.copyCellsFrom(nextLine, 0, lineLength, moveCount);
  26. if (moveCount == nextLineLength) {
  27. if (i + offset <= buffer.cursorY) {
  28. //TODO: adapt scrolling
  29. buffer.moveCursorY(-1);
  30. }
  31. // if we unwrapped all cells off the next line, delete it
  32. buffer.lines.remove(i + offset);
  33. offset--;
  34. } else {
  35. // otherwise just remove the characters we moved up a line
  36. nextLine.removeN(0, moveCount);
  37. }
  38. }
  39. }
  40. //buffer doesn't have enough lines
  41. if (buffer.lines.length < buffer.terminal.viewHeight) {
  42. // Add an extra row at the bottom of the viewport
  43. buffer.lines.push(BufferLine());
  44. }
  45. }
  46. }