gnome-terminal does not differentiate between ISO_Level3_Shift and Shift in certain cases

[Andreas Raster]

I made my caps lock key another ISO_Level3_Shift key since that used heavily on german keyboards. I customized my keyboard layout with xmodmap so that I have a additional cursor key block on i,j,k,l enabled by holding ISO_Level3_Shift. So that I can move around the cursor without leaving the home row while programming.

I tried using shift+left,right to navigate between tabs in gnome-terminal which works fine but my custom cursor key block activated with ISO_Level3_Shift would always switch tabs. That is whenever I tried to go left or right in the application running inside the terminal it would switch tabs instead of moving the cursor when I used my custom cursor key block. Which is wrong behaviour, it should only switch tabs when I hold an additional shift. For example Shift+ISO_Level3_Shift+j should switch to the left tab, ISO_Level3_Shift+j should move the cursor to the left.

ProblemType: Bug
DistroRelease: Ubuntu 11.10
Package: gnome-terminal 3.0.1-0ubuntu3
ProcVersionSignature: Ubuntu 3.0.0-16.28-generic 3.0.17
Uname: Linux 3.0.0-16-generic x86_64
NonfreeKernelModules: nvidia
ApportVersion: 1.23-0ubuntu4
Architecture: amd64
Date: Wed Feb 15 18:52:32 2012
EcryptfsInUse: Yes
SourcePackage: gnome-terminal
UpgradeStatus: Upgraded to oneiric on 2009-09-11 (887 days ago)