the issue described there has been fixed since, closing it, there is a remaining issue where the selected item in the menu is wrong which is bug #682075
the issue described there has been fixed since, closing it, there is a remaining issue where the selected item in the menu is wrong which is bug #682075