| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849 |
- import 'dart:math';
- import 'package:flutter/material.dart';
- import 'package:xterm/buffer/buffer.dart';
- import 'package:xterm/buffer/buffer_line.dart';
- import 'package:xterm/buffer/reflow_strategy.dart';
- import 'package:xterm/utli/circular_list.dart';
- class ReflowStrategyNarrower extends ReflowStrategy {
- ReflowStrategyNarrower(Buffer buffer) : super(buffer);
- @override
- void reflow(int newCols, int newRows, int oldCols, int oldRows) {
- for (var i = 0; i < buffer.lines.length; i++) {
- final line = buffer.lines[i];
- final lineLength = line.getTrimmedLength(oldCols);
- if (lineLength > newCols) {
- final moveIndexStart = newCols;
- final cellsToCopy = oldCols - newCols;
- // we need to move cut cells to the next line
- // if the next line is wrapped anyway, we can push them onto the beginning of that line
- // otherwise, we need add a new wrapped line
- if (i + 1 < buffer.lines.length) {
- final nextLine = buffer.lines[i + 1];
- if (nextLine.isWrapped) {
- nextLine.ensure(oldCols + cellsToCopy);
- nextLine.insertN(0, cellsToCopy);
- nextLine.copyCellsFrom(line, moveIndexStart, 0, cellsToCopy);
- line.erase(buffer.terminal.cursor, moveIndexStart, oldCols);
- continue;
- }
- }
- final newLine = BufferLine(isWrapped: true);
- newLine.ensure(newCols);
- newLine.copyCellsFrom(line, moveIndexStart, 0, cellsToCopy);
- line.erase(buffer.terminal.cursor, moveIndexStart, oldCols);
- //TODO: aggregate and do at the end?
- buffer.lines.insert(i + 1, newLine);
- if (i + 1 <= buffer.cursorY) {
- buffer.moveCursorY(1);
- }
- }
- }
- }
- }
|