alt-<number> tab switching broken
@compnerd
Submitted by Saleem Abdulrasool Link to original bug (#690570)
Description
It seems that the recent changes to split up gnome-terminal have resulted in the alt-<number>
based tab switching to break.
Version: 3.7.x
Resolution: RESOLVED FIXED