Comment 3 for bug 443334

Revision history for this message
Radu Cristian Fotescu (beranger) wrote :

Pedro, you have no reason.

"GNOME Terminal" has indeed this name AS SHOWN IN THE ABOUT BOX, but shows in the menu as "Terminal". Changing this to "GNOME Terminal" WOULD NOT CHANGE ITS NAME!

XFCE's Terminal has the name "Terminal" (AS SHOWN IN THE ABOUT BOX) and shows as "Terminal" in the menus, which is correct!

Unless you're <self-censored-deprecatory-word>, your comment lacks logic.