make_current: refresh should be done always, otherwise the move of a tab is not visible for ~1s