- import 'package:xterm/buffer/buffer.dart';
- /// This interface defines the functionality of a Terminal that is needed
- /// by the search functionality
- abstract class TerminalSearchInteraction {
- /// the current buffer
- Buffer get buffer;
- /// indication if the alternative buffer is currently used
- bool isUsingAltBuffer();
- /// the terminal width
- int get terminalWidth;
- }
|