Launching gnome-terminal with --disable-factory avoided this issue (which is consistent with Ralf's report that rebooting fixed it). It seems that the running gnome-terminal is in a strange state.
Launching gnome-terminal with --disable-factory avoided this issue (which is consistent with Ralf's report that rebooting fixed it). It seems that the running gnome-terminal is in a strange state.