Switching between tabs works. Switching between split terminals doesn't work (someone said it works using CTRL + left/right arrows so I assumed that's implemented in Terra, but it doesn't work for me)... Also, copy/paste didn't work in my test under Ubuntu 12.10 either so I don't think it's 13.04 specific...
Switching between tabs works. Switching between split terminals doesn't work (someone said it works using CTRL + left/right arrows so I assumed that's implemented in Terra, but it doesn't work for me)... Also, copy/paste didn't work in my test under Ubuntu 12.10 either so I don't think it's 13.04 specific...