I have independent confirmation and have checked myself that the bug does NOT happen in Ubuntu Hardy. The GNOME Panel in Ubuntu Hardy honors the preferred terminal.
I have tested with a clean virtual machine with a Karmic live CD and the bug still happens so this is definitely related to my configuration.
I have independent confirmation and have checked myself that the bug does NOT happen in Ubuntu Hardy. The GNOME Panel in Ubuntu Hardy honors the preferred terminal.
I have tested with a clean virtual machine with a Karmic live CD and the bug still happens so this is definitely related to my configuration.