attilabakos

If anyone is interested in the solution:

Change this code in page-menu-editor.php:
$menu_label = stripslashes($pgmenueditor[0]['menu_label']);

To this:
$menu_label = __(stripslashes($pgmenueditor[0]['menu_label']));