mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 5d6e94 | patch | commitdiff
matthew_swift
14.06.2007 abaf062ce64bbe4909651563cb81171e794c37ab
refs
author matthew_swift <matthew_swift@localhost>
Friday, September 14, 2007 13:06 +0200
committer matthew_swift <matthew_swift@localhost>
Friday, September 14, 2007 13:06 +0200
commitabaf062ce64bbe4909651563cb81171e794c37ab
tree a3ffdca47fbf1335c0f6cb0ab5ebc145be279fac tree | zip | gz
parent 5d6e9428fedead57a9c9438cebe58b485ff476d2 view | diff 
Add support for indenting the heading separator and use it in menus to emphasis the option numbers.
2 files modified
38 ■■■■■ changed files
opends/src/server/org/opends/server/util/cli/MenuBuilder.java 1 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/util/table/TextTablePrinter.java 37 ●●●●● diff | view | raw | blame | history