Fix for ApplicationController.pushMenu() to the menu that is already selected.
Fix for ApplicationController.pushMenu() to the menu that is already selected.

jacksonic/vjlofvhjfgm,foam-framework/foam2,jacksonic/vjlofvhjfgm,foam-framework/foam2,foam-framework/foam2,jacksonic/vjlofvhjfgm,foam-framework/foam2,foam-framework/foam2