Changeset 8808

Timestamp:

2004-12-14T17:15:01+13:00 (19 years ago)

Author:

mdewsnip

Message:

Removed the full justification by adding spaces of plugin and classifier option descriptions. This is no longer useful now that a non-fixed width font is used.

File:

• trunk/gli/src/org/greenstone/gatherer/util/Utility.java (modified) (2 diffs)

trunk/gli/src/org/greenstone/gatherer/util/Utility.java

@@ -263 +263 @@
             // If adding the next token would push us over the maximum line width.
             else if(current_width + 1 + token.length() > width) {
-            line = space(line, width, current_width);
             lines.push(line);
             line = token;
@@ -944 +943 @@
 
 
-    /** Method to spread out a line of text so that is is justified to the given width, by attempting to widen white-spacing in a balanced way.
-     * @param original The <strong>String</strong> to justify.
-     * @param width The desired width as an <i>int</i>.
-     * @param current_width An <i>int</i> representing the current width of the string, which takes into account special characters.
-     * @return The newly justified <strong>String</strong>.
-     */
-    static private String space(String original, int width, int current_width) {
-    // Strip trailing whitespace.
-    while(original.charAt(original.length() - 1) == ' ') {
-        original = original.substring(0, original.length() - 2);
-    }
-    int diff = width - current_width;
-    // Now add diff spaces, one at each existing space.
-    int pos = 0;
-    while(diff > 0) {
-        if(pos == original.length()) {
-        pos = 0;
-        }
-        if(original.charAt(pos) == ' ') {
-        // Insert a space.
-        String prefix = original.substring(0, pos);
-        String suffix = original.substring(pos);
-        original = prefix + " " + suffix;
-        pos = pos + 2;
-        diff--;
-        }
-        pos++;
-    }
-    return original;
-    }
-
-
     /** I think this works a bit better on Unicode strings. */
     static public String stripNL(String raw_string)