Changeset 16336

Timestamp:

2008-07-10T13:31:54+12:00 (15 years ago)

Author:

ak19

Message:

Lets GLI main window display server version number at the top

File:

• gli/trunk/src/org/greenstone/gatherer/gui/GUIManager.java (modified) (1 diff)

gli/trunk/src/org/greenstone/gatherer/gui/GUIManager.java

@@ -652 +652 @@
     title_buffer.append(StaticStrings.SPACE_CHARACTER);
     title_buffer.append(StaticStrings.SPACE_CHARACTER);
+    // Server version information
+    title_buffer.append(Gatherer.getServerVersionAsString());
+    title_buffer.append(StaticStrings.SPACE_CHARACTER);
+    title_buffer.append(StaticStrings.SPACE_CHARACTER); 
     // Describe the current user mode
     title_buffer.append(StaticStrings.MODE_STR);