1
0
mirror of https://github.com/TomHarte/CLK.git synced 2025-01-27 06:35:04 +00:00

Ensures new text is appended to any existing buffer.

TODO: move this into add_typer?
This commit is contained in:
Thomas Harte 2020-02-29 19:58:56 -05:00
parent b971e2a42c
commit 6e4bd4f505

View File

@ -645,7 +645,11 @@ class ConcreteMachine:
} }
void type_string(const std::string &string) final { void type_string(const std::string &string) final {
Utility::TypeRecipient::add_typer(string, std::make_unique<CharacterMapper>()); if(typer_) {
typer_->append(string);
} else {
Utility::TypeRecipient::add_typer(string, std::make_unique<CharacterMapper>());
}
} }
void tape_did_change_input(Storage::Tape::BinaryTapePlayer *tape) final { void tape_did_change_input(Storage::Tape::BinaryTapePlayer *tape) final {