|
|
@@ -19,17 +19,7 @@ abstract class TerminalBackend {
|
|
|
void write(String input);
|
|
|
|
|
|
/// notifies the backend about a view port resize that happened
|
|
|
- /// If resizeFull() is overrode, resize() will not be called, but still
|
|
|
- /// requires an empty method as a stub for API compatibility reasons.
|
|
|
- void resize(int width, int height);
|
|
|
-
|
|
|
- /// notifies the backend about a view port resize that happened, with information
|
|
|
- /// including both row/column and pixel width/height.
|
|
|
- /// Not required to be overrode if the [TerminalBackend] does not require
|
|
|
- /// pixel size information, just override resize() instead.
|
|
|
- void resizeFull(int columns, int rows, int pixelWidth, int pixelHeight) {
|
|
|
- resize(columns, rows);
|
|
|
- }
|
|
|
+ void resize(int width, int height, int pixelWidth, int pixelHeight);
|
|
|
|
|
|
/// terminates this backend
|
|
|
void terminate();
|