greenstone.org greenstone wiki greenstone trac planet greenstone

Changeset 16336

Show
Ignore:
Timestamp:
2008-07-10 13:31:54 (3 months ago)
Author:
ak19
Message:

Lets GLI main window display server version number at the top

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • 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);