Micah Lee 8395fef887
Merge pull request #1132 from mig5/update_status_bar_on_tab_change
#1126 update the status bar each time the active tab is changed
2020-06-29 12:41:34 -07:00
..