terminal_search_interaction.dart 381 B

1234567891011121314
  1. import 'package:xterm/buffer/buffer.dart';
  2. /// This interface defines the functionality of a Terminal that is needed
  3. /// by the search functionality
  4. abstract class TerminalSearchInteraction {
  5. /// the current buffer
  6. Buffer get buffer;
  7. /// indication if the alternative buffer is currently used
  8. bool isUsingAltBuffer();
  9. /// the terminal width
  10. int get terminalWidth;
  11. }