folkert/KEK
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1

Merge branch 'master' of ssh://172.29.0.8/home/folkert/git/PDP-11

Browse source
This commit is contained in:
folkert van heusden 2024-05-07 20:03:28 +02:00
commit e00890dc40
Signed by untrusted user who does not match committer: folkert
GPG key ID: 6B6455EDFEED3BD1
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
console.cpp
View file

@ -182,7 +182,7 @@ std::string console::read_line(const std::string & prompt)
put_string(prompt);
put_string(">");
if (edit_lines_hist.empty() == false)
while(edit_lines_hist.size() >= n_edit_lines_hist)
edit_lines_hist.erase(edit_lines_hist.begin());
while(edit_lines_hist.size() < n_edit_lines_hist)
@ -267,6 +267,9 @@ std::string console::read_line(const std::string & prompt)
put_string_lf("");
if (line_nr != edit_lines_hist.size() - 1)
edit_lines_hist.push_back(edit_lines_hist.at(line_nr));
return edit_lines_hist.at(line_nr);
}