public void restoreCursor(@NotNull StoredCursor storedCursor) {
myCursorX = storedCursor.getCursorX();
myCursorY = storedCursor.getCursorY();
myStyleState.setCurrent(storedCursor.getTextStyle().clone());
setModeEnabled(TerminalMode.AutoWrap, storedCursor.isAutoWrap());
setModeEnabled(TerminalMode.OriginMode, storedCursor.isOriginMode());
CharacterSet[] designations = storedCursor.getDesignations();
for (int i = 0; i < designations.length; i++) {
myGraphicSetState.designateGraphicSet(i, designations[i]);
}
myGraphicSetState.setGL(storedCursor.getGLMapping());
myGraphicSetState.setGR(storedCursor.getGRMapping());
if (storedCursor.getGLOverride() >= 0) {
myGraphicSetState.overrideGL(storedCursor.getGLOverride());
}
}
@Override
public void mapCharsetToGL(int num) {
myGraphicSetState.setGL(num);
}
