docs: public void printHtmlNavMenu(PrintWriter out)
          throws DBException
      {
          String strForms = this.getProperty(HtmlConstants.FORMS);                // Html page
          if (strForms != null) if (strForms.equalsIgnoreCase(HtmlConstants.DISPLAY))
              ((BasePanel)this.getScreenField()).setProperty(DBParams.NAVMENUS, UserInfoModel.NO_ICONS);   // Don't display NAV menus
  //x            return;   // Don't display NAV menus
          super.printHtmlNavMenu(out);
      }