/**
* Sets the font level.
*
* @param level the desired font level
*/
protected void setFontLevel(int level) {
FontSizer.setFonts(this, level);
// set cell height of collectionList
Font font = collectionList.getFont();
font = FontSizer.getResizedFont(font, level);
int space = 8 + level;
collectionList.setFixedCellHeight(font.getSize() + space);
resizeLabels();
}
protected void refreshCacheTab() {
// refresh list of cache hosts
cacheBox.removeAll();
ArrayList<JLabel> labels = new ArrayList<JLabel>();
File cache = ResourceLoader.getOSPCache();
File[] hosts = cache == null ? new File[0] : cache.listFiles(ResourceLoader.OSP_CACHE_FILTER);
clearCacheButton.setEnabled(hosts.length > 0);
if (hosts.length == 0) {
JLabel label = new JLabel(ToolsRes.getString("LibraryManager.Cache.IsEmpty")); // $NON-NLS-1$
label.setBorder(BorderFactory.createEmptyBorder(0, 2, 0, 0));
Box box = Box.createHorizontalBox();
box.add(label);
box.add(Box.createHorizontalGlue());
cacheBox.add(box);
return;
}
for (File hostFile : hosts) {
// eliminate the "osp-" that starts all cache host filenames
String hostText = hostFile.getName().substring(4).replace('_', '.');
long bytes = getFileSize(hostFile);
long size = bytes / (1024 * 1024);
if (bytes > 0) {
if (size > 0) hostText += " (" + size + " MB)"; // $NON-NLS-1$ //$NON-NLS-2$
else hostText += " (" + bytes / 1024 + " kB)"; // $NON-NLS-1$ //$NON-NLS-2$
}
JLabel label = new JLabel(hostText);
label.setToolTipText(hostFile.getAbsolutePath());
labels.add(label);
ClearHostButton button = new ClearHostButton(hostFile);
Box bar = Box.createHorizontalBox();
bar.add(label);
bar.add(button);
bar.add(Box.createHorizontalGlue());
cacheBox.add(bar);
FontSizer.setFonts(cacheBox, FontSizer.getLevel());
}
// set label sizes
FontRenderContext frc = new FontRenderContext(null, false, false);
Font font = labels.get(0).getFont();
int w = 0;
for (JLabel next : labels) {
Rectangle2D rect = font.getStringBounds(next.getText(), frc);
w = Math.max(w, (int) rect.getWidth());
}
Dimension labelSize = new Dimension(w + 48, 20);
for (JLabel next : labels) {
next.setBorder(BorderFactory.createEmptyBorder(0, 2, 0, 0));
next.setPreferredSize(labelSize);
}
}
protected void refreshSearchTab() {
// refresh list of cached search targets
searchBox.removeAll();
checkboxes.clear();
ArrayList<JLabel> labels = new ArrayList<JLabel>();
for (LibraryResource next : browser.getSearchCacheTargets()) {
String path = next.collectionPath;
if (path == null) continue;
String name = next.toString();
JLabel label = new JLabel(name);
label.setToolTipText(path);
labels.add(label);
SearchCheckBox checkbox = new SearchCheckBox(path);
checkboxes.add(checkbox);
JButton button = new DeleteButton(path);
Box bar = Box.createHorizontalBox();
bar.add(label);
bar.add(checkbox);
bar.add(button);
bar.add(Box.createHorizontalGlue());
searchBox.add(bar);
FontSizer.setFonts(searchBox, FontSizer.getLevel());
}
if (labels.isEmpty()) return;
// set label sizes
FontRenderContext frc = new FontRenderContext(null, false, false);
Font font = labels.get(0).getFont();
int w = 0;
for (JLabel next : labels) {
Rectangle2D rect = font.getStringBounds(next.getText(), frc);
w = Math.max(w, (int) rect.getWidth());
}
Dimension labelSize = new Dimension(w + 48, 20);
for (JLabel next : labels) {
next.setBorder(BorderFactory.createEmptyBorder(0, 2, 0, 0));
next.setPreferredSize(labelSize);
}
}
