diff options
| author | Todd Leonhardt <todd.leonhardt@gmail.com> | 2018-10-05 20:40:45 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-05 20:40:45 -0400 |
| commit | 467be57e647112f536becc8625ffa080cb67a0ce (patch) | |
| tree | 8409a7718da489922ffd15b7153936da48ec7dc9 /main.py | |
| parent | ad5614ee19d5290d80b50593253667e018aee311 (diff) | |
| parent | 35efc5d826e9072e4b03308c39541fb562e0cf53 (diff) | |
| download | cmd2-git-467be57e647112f536becc8625ffa080cb67a0ce.tar.gz | |
Merge pull request #570 from python-cmd2/title_lock
set_window_title() will no longer write to stderr unless self._terminal_lock can be acquired
Diffstat (limited to 'main.py')
0 files changed, 0 insertions, 0 deletions