From 31fe3066733767cda85b74cb8916d82ac89559ff Mon Sep 17 00:00:00 2001 From: fstamatelopoulos Date: Wed, 18 Mar 2009 12:34:10 +0000 Subject: [PATCH] cosmetic changes: (a) center version column, (b) add time in search results date column --- gss/src/gr/ebs/gss/client/FileList.java | 1 + gss/src/gr/ebs/gss/client/SearchResults.java | 3 ++- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/gss/src/gr/ebs/gss/client/FileList.java b/gss/src/gr/ebs/gss/client/FileList.java index 4f20567..210d62f 100644 --- a/gss/src/gr/ebs/gss/client/FileList.java +++ b/gss/src/gr/ebs/gss/client/FileList.java @@ -412,6 +412,7 @@ public class FileList extends Composite implements TableListener, ClickListener table.getCellFormatter().setWordWrap(i, 4, false); table.getCellFormatter().setWordWrap(i, 5, false); table.getCellFormatter().setWordWrap(i, 6, false); + table.getCellFormatter().setHorizontalAlignment(i, 3, HasHorizontalAlignment.ALIGN_CENTER); // table.getFlexCellFormatter().setColSpan(i, 5, 2); } prevButton.setVisible(false); diff --git a/gss/src/gr/ebs/gss/client/SearchResults.java b/gss/src/gr/ebs/gss/client/SearchResults.java index 2fa7580..6833250 100644 --- a/gss/src/gr/ebs/gss/client/SearchResults.java +++ b/gss/src/gr/ebs/gss/client/SearchResults.java @@ -417,6 +417,7 @@ public class SearchResults extends Composite implements TableListener, ClickList table.getCellFormatter().setWordWrap(i, 4, false); table.getCellFormatter().setWordWrap(i, 5, false); table.getCellFormatter().setWordWrap(i, 6, false); + table.getCellFormatter().setHorizontalAlignment(i, 4, HasHorizontalAlignment.ALIGN_CENTER); // table.getFlexCellFormatter().setColSpan(i, 5, 2); } prevButton.setVisible(false); @@ -536,7 +537,7 @@ public class SearchResults extends Composite implements TableListener, ClickList table.setText(i, 3, fileHeader.getPath()); table.setText(i, 4, String.valueOf(fileHeader.getVersion())); table.setText(i, 5, String.valueOf(fileHeader.getFileSizeAsString())); - final DateTimeFormat formatter = DateTimeFormat.getFormat("d/M/yyyy"); + final DateTimeFormat formatter = DateTimeFormat.getFormat("d/M/yyyy h:mm a"); table.setText(i, 6, formatter.format(fileHeader.getCreationDate())); } -- 1.7.10.4