Additional fix for issue 2198 (@sourceURL doesn't work in eval() in some
cases) to mark the right menu entry as selected and display its name as
button label