public String[] updatePortalColumnWidths() {
int numColumns = storedDashboard.getColumns();
int totalPixelWidth = 0;
int[] columnPixelWidths = new int[numColumns];
for (int i = 0; i < numColumns; ++i) {
PortalColumn col = portalLayout.getPortalColumn(i);
totalPixelWidth += col.getWidth();
columnPixelWidths[i] = col.getWidth();
}
String[] columnWidths = new String[numColumns];
columnWidths[numColumns - 1] = "*";
for (int i = 0; i < numColumns - 1; ++i) {
columnWidths[i] = String.valueOf(((int) columnPixelWidths[i] * 100 / totalPixelWidth)) + "%";
}
storedDashboard.setColumnWidths(columnWidths);
return columnWidths;
}
