Add right-click extension support to gnome-terminal