Changeset 16336

Show
Ignore:
Timestamp:
10.07.2008 13:31:54 (11 years ago)
Author:
ak19
Message:

Lets GLI main window display server version number at the top

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • gli/trunk/src/org/greenstone/gatherer/gui/GUIManager.java

    r14974 r16336  
    652652    title_buffer.append(StaticStrings.SPACE_CHARACTER); 
    653653    title_buffer.append(StaticStrings.SPACE_CHARACTER); 
     654    // Server version information 
     655    title_buffer.append(Gatherer.getServerVersionAsString()); 
     656    title_buffer.append(StaticStrings.SPACE_CHARACTER); 
     657    title_buffer.append(StaticStrings.SPACE_CHARACTER);  
    654658    // Describe the current user mode 
    655659    title_buffer.append(StaticStrings.MODE_STR);