Fixed bug #14354: Bug: fix percentage of changes in Workspace Manager -> "Show differ...