}
protected void setColumnWidths(Scrollable tree, int[] widths) {
+ // NatTable HiDPI workaround
+ double displayScale = NatTableGraphExplorer.getDisplayScale();
+ if (displayScale != 1.0) {
+ for (int i=0; i < widths.length; i++) {
+ widths[i] = (int)Math.floor(((double)widths[i]/ displayScale));
+ }
+ }
for (int i=0; i < widths.length; i++) {
columnHeaderDataProvider.getDataLayer().setColumnWidthByPosition(i, widths[i]);
}