I can verify Kraft's report.
The "Report a problem" option works correctly in Firefox, and it does *not* work in Gnome applicatons like gedit or GNOME Terminal.
I can verify Kraft's report.
The "Report a problem" option works correctly in Firefox, and it does *not* work in Gnome applicatons like gedit or GNOME Terminal.