MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[vcs-log] use bold font to calculate column width

Browse Source
This commit is contained in:
Julia Beliaeva
2016-02-18 18:47:09 +03:00
parent 0850f8194d
commit 0a6e14ca93
1 changed files with 9 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/vcs-log/impl/src/com/intellij/vcs/log/ui/frame/VcsLogGraphTable.java
+9 -9
View File
@@ -67,9 +67,7 @@ import java.awt.*;
import java.awt.datatransfer.StringSelection;
import java.awt.event.MouseAdapter;
import java.awt.event.MouseEvent;
import java.util.Collection;
import java.util.Date;
import java.util.EventObject;
import java.util.*;
import java.util.List;
public class VcsLogGraphTable extends JBTable implements DataProvider, CopyProvider {
@@ -135,7 +133,7 @@ public class VcsLogGraphTable extends JBTable implements DataProvider, CopyProvi
getGraphTableModel().setVisiblePack(visiblePack);
previousSelection.restore(visiblePack.getVisibleGraph(), true);
for (VcsLogHighlighter highlighter: myHighlighters) {
for (VcsLogHighlighter highlighter : myHighlighters) {
highlighter.update(visiblePack, permGraphChanged);
}
@@ -177,15 +175,17 @@ public class VcsLogGraphTable extends JBTable implements DataProvider, CopyProvi
int maxWidth = 0;
for (int row = 0; row < maxRowsToCheck; row++) {
String value = getModel().getValueAt(row, i).toString();
maxWidth = Math.max(getFontMetrics(tableFont).stringWidth(value), maxWidth);
maxWidth = Math.max(getFontMetrics(tableFont.deriveFont(Font.BOLD)).stringWidth(value), maxWidth);
if (!value.isEmpty()) sizeCalculated = true;
}
column.setMinWidth(Math.min(maxWidth + UIUtil.DEFAULT_HGAP, MAX_DEFAULT_AUTHOR_COLUMN_WIDTH));
column.setWidth(column.getMinWidth());
int min = Math.min(maxWidth + UIUtil.DEFAULT_HGAP, MAX_DEFAULT_AUTHOR_COLUMN_WIDTH);
column.setMinWidth(min);
column.setWidth(min);
}
else if (i == GraphTableModel.DATE_COLUMN) { // all dates have nearly equal sizes
column.setMinWidth(getFontMetrics(tableFont).stringWidth("mm" + DateFormatUtil.formatDateTime(new Date())));
column.setWidth(column.getMinWidth());
int min = getFontMetrics(tableFont.deriveFont(Font.BOLD)).stringWidth("mm" + DateFormatUtil.formatDateTime(new Date()));
column.setMinWidth(min);
column.setWidth(min);
}
}
return sizeCalculated;