#121: fixed forgetting of selected tab title in browser history