As mentioned above, the fix was released in 2014. Guake in Ubuntu 19.10 clearly shows which tab is active.
As mentioned above, the fix was released in 2014. Guake in Ubuntu 19.10 clearly shows which tab is active.