From abaf062ce64bbe4909651563cb81171e794c37ab 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.
---
opends/src/server/org/opends/server/util/cli/MenuBuilder.java | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/opends/src/server/org/opends/server/util/cli/MenuBuilder.java b/opends/src/server/org/opends/server/util/cli/MenuBuilder.java
index fa000cb..10711ea 100644
--- a/opends/src/server/org/opends/server/util/cli/MenuBuilder.java
+++ b/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