In a terminal window with multiple tabs, gnome-terminal won't wrap around when switching tabs. What I mean with this is that when the first tab is active and I change to the previous tab, it won't select the last tab - instead it will do nothing. While there is nothing wrong with this behaviour in itself, it is quite annoying when you have more than two or three tabs open and you want to go from left to right quickly. This wrap-around is default behaviour in some terminal emulators, for instance with XFCE Terminal.

This patch adds a global GConf key named "tab_switching_wraparound", which is then accessed each time a tab switch signal is received, and also when the sensitivity of the tab switching menu items is set.

Other information:
As this is my first gnome-related patch, I'd be glad for any help concerning coding style and/or patch format in general.