| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211 |
- import 'package:xterm/core/mouse.dart';
- abstract class EscapeHandler {
- void writeChar(int char);
- /* SBC */
- void bell();
- void backspaceReturn();
- void tab();
- void lineFeed();
- void carriageReturn();
- void shiftOut();
- void shiftIn();
- void unknownSBC(int char);
- /* ANSI sequence */
- void saveCursor();
- void restoreCursor();
- void index();
- void nextLine();
- void setTapStop();
- void reverseIndex();
- void designateCharset(int charset);
- void unkownEscape(int char);
- /* CSI */
- void repeatPreviousCharacter(int n);
- void setCursor(int x, int y);
- void setCursorX(int x);
- void setCursorY(int y);
- void sendPrimaryDeviceAttributes();
- void clearTabStopUnderCursor();
- void clearAllTabStops();
- void moveCursorX(int offset);
- void moveCursorY(int n);
- void sendSecondaryDeviceAttributes();
- void sendTertiaryDeviceAttributes();
- void sendOperatingStatus();
- void sendCursorPosition();
- void setMargins(int i, [int? bottom]);
- void cursorNextLine(int amount);
- void cursorPrecedingLine(int amount);
- void eraseDisplayBelow();
- void eraseDisplayAbove();
- void eraseDisplay();
- void eraseScrollbackOnly();
- void eraseLineRight();
- void eraseLineLeft();
- void eraseLine();
- void insertLines(int amount);
- void deleteLines(int amount);
- void deleteChars(int amount);
- void scrollUp(int amount);
- void scrollDown(int amount);
- void eraseChars(int amount);
- void insertBlankChars(int amount);
- void unknownCSI(int finalByte);
- /* Modes */
- void setInsertMode(bool enabled);
- void setLineFeedMode(bool enabled);
- void setUnknownMode(int mode, bool enabled);
- /* DEC Private modes */
- void setCursorKeysMode(bool enabled);
- void setReverseDisplayMode(bool enabled);
- void setOriginMode(bool enabled);
- void setColumnMode(bool enabled);
- void setAutoWrapMode(bool enabled);
- void setMouseMode(MouseMode mode);
- void setCursorBlinkMode(bool enabled);
- void setCursorVisibleMode(bool enabled);
- void useAltBuffer();
- void useMainBuffer();
- void clearAltBuffer();
- void setAppKeypadMode(bool enabled);
- void setReportFocusMode(bool enabled);
- void setMouseReportMode(MouseReportMode mode);
- void setAltBufferMouseScrollMode(bool enabled);
- void setBracketedPasteMode(bool enabled);
- void setUnknownDecMode(int mode, bool enabled);
- /* Select Graphic Rendition (SGR) */
- void resetCursorStyle();
- void setCursorBold();
- void setCursorFaint();
- void setCursorItalic();
- void setCursorUnderline();
- void setCursorBlink();
- void setCursorInverse();
- void setCursorInvisible();
- void setCursorStrikethrough();
- void unsetCursorBold();
- void unsetCursorFaint();
- void unsetCursorItalic();
- void unsetCursorUnderline();
- void unsetCursorBlink();
- void unsetCursorInverse();
- void unsetCursorInvisible();
- void unsetCursorStrikethrough();
- void setForegroundColor16(int color);
- void setForegroundColor256(int index);
- void setForegroundColorRgb(int r, int g, int b);
- void resetForeground();
- void setBackgroundColor16(int color);
- void setBackgroundColor256(int index);
- void setBackgroundColorRgb(int r, int g, int b);
- void resetBackground();
- void unsupportedStyle(int param);
- /* OSC */
- void setTitle(String name);
- void setIconName(String name);
- void unknownOSC(String ps);
- }
|