Menu editor: Double-clicking on a menu entry now automatically closes the menu editor to open the Click event handler of that menu.

[DEVELOPMENT ENVIRONMENT]
* NEW: Menu editor: Double-clicking on a menu entry now automatically closes the menu editor to open the Click event handler of that menu.
* NEW: Translation dialog: The automatic translation now stops as soon as the translation program fails.
* NEW: Update common Spanish translation.