Cut domain names that are longer than 18 characters.

diff --git a/gettext-runtime/doc/Admin/Matrix.java b/gettext-runtime/doc/Admin/Matrix.java
index c7cee3ee0c7a2d7aaaf0321451c7b2e2b585700c..4da0a21c4a5b4d07bf6adfb99f0b4e599bdd5712 100644 (file)
--- a/gettext-runtime/doc/Admin/Matrix.java
+++ b/gettext-runtime/doc/Admin/Matrix.java
@@ -197,8 +197,11 @@ public class Matrix {
         stream.println("-+");
 
         for (int d = 0; d < ndomains; d++) {
-          stream.print(domains[d]);
-          spaces(stream,19 - domains[d].length());
+          String domain = domains[d];
+          if (domain.length() > 18)
+            domain = domain.substring(0, 18-3) + "...";
+          stream.print(domain);
+          spaces(stream,18 - domain.length() + 1);
           stream.print('|');
           for (int t = groups[group][0]; t < groups[group][1]; t++) {
             stream.print(' ');