mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 72537a | patch | commitdiff
matthew_swift
14.06.2007 42d1f507aa877ac94b0f657db359d46d14b6b60a
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
commit42d1f507aa877ac94b0f657db359d46d14b6b60a
tree e11dae28c964629c03cfc895a790d23c83978389 tree | zip | gz
parent 72537adad282f00903861b6868de275925674783 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
opendj-sdk/opends/src/server/org/opends/server/util/cli/MenuBuilder.java 1 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/server/org/opends/server/util/table/TextTablePrinter.java 37 ●●●●● diff | view | raw | blame | history