Add support for indenting the heading separator and use it in menus to emph...

matthew_swift

14.06.2007 abaf062ce64bbe4909651563cb81171e794c37ab

 opends/src/server/org/opends/server/util/cli/MenuBuilder.java

@@ -787,6 +787,7 @@
      printer.setDisplayHeadings(false);
    } else {
      printer.setDisplayHeadings(true);
      printer.setHeadingSeparatorStartColumn(1);
    }

    printer.setIndentWidth(4);