Menu

#4 "Headers" are not updated

open
nobody
None
5
2001-07-02
2001-07-02
No

If you use escape sequences to modify the header of the
terminal, they are not updated when you switch screens -
you have to re-issue the escape sequence to update the
header.

/greg

Discussion


Log in to post a comment.

MongoDB Logo MongoDB