_description = versions.getDescription();
}
// File details
- if (_state != ProgressState.EXTERN) {
Revision.Format verstring = new Revision.Format(
getProjectSettings().getRevisionPattern());
_version = verstring.format(_version);
- }
- _size = sizstring
- .format(_mydoc.getSourceFile().asFile().length() / 1000);
+ _size = sizstring.format(_mydoc.getSourceFile().asFile().length() / 1000);
_date = datstring.format(_mydoc.getLastModificationDate());
// Refresh of the history in case of promotion