Issue #1763972 by khjacker, kenneth.venken: Fixed must disable theme developer for nice menus to work.