From 42d1f507aa877ac94b0f657db359d46d14b6b60a Mon Sep 17 00:00:00 2001
From: matthew_swift <matthew_swift@localhost>
Date: Fri, 14 Sep 2007 11:06:06 +0000
Subject: [PATCH] Add support for indenting the heading separator and use it in menus to emphasis the option numbers.
---
opendj-sdk/opends/src/server/org/opends/server/util/cli/MenuBuilder.java | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/opendj-sdk/opends/src/server/org/opends/server/util/cli/MenuBuilder.java b/opendj-sdk/opends/src/server/org/opends/server/util/cli/MenuBuilder.java
index fa000cb..10711ea 100644
--- a/opendj-sdk/opends/src/server/org/opends/server/util/cli/MenuBuilder.java
+++ b/opendj-sdk/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);
--
Gitblit v1.10.0