DiskExplorerTab.java 文件源码

/**
 * Pre-compute column widths for the file tab.
 * These can and are over-ridden by user sizing.
 */
protected void computeColumnWidths(int format) {
    List headers = disks[0].getFileColumnHeaders(format);
    int[] headerWidths = new int[headers.size()];
    GC gc = new GC(shell);
    for (int i=0; i<headers.size(); i++) {
        FileColumnHeader header = (FileColumnHeader) headers.get(i);
        if (header.getTitle().length() >= header.getMaximumWidth()) {
            headerWidths[i] = gc.stringExtent(header.getTitle()).x + 
                2 * gc.stringExtent(textBundle.get("WidestCharacter")).x;  //$NON-NLS-1$
        } else {
            headerWidths[i] = gc.stringExtent(
                    textBundle.get("WidestCharacter")).x  //$NON-NLS-1$
                    * header.getMaximumWidth();
        }
    }
    gc.dispose();
    gc = null;
    columnWidths.put(new Integer(format), headerWidths);
}