public int getDisplayColumnWidth() { return table.getTableHeader().getHeaderRect(DISPLAY_COLUMN_INDEX).width; }
public int getDisplayColumnRest() { return table.getTableHeader().getHeaderRect(SUMMARY_COLUMN_INDEX).width; }
private static Rectangle getRectangleAt(JTableHeader header, int x, int y) { Rectangle rect = null; try { int column = header.columnAtPoint(new Point(x, y)); rect = header.getHeaderRect(column); } catch (Exception e) { } return rect; }
/** * @see javax.swing.plaf.basic.BasicTableHeaderUI#rolloverColumnUpdated(int, int) */ @Override protected void rolloverColumnUpdated(int oldColumn, int newColumn) { header.repaint(header.getHeaderRect(oldColumn)); header.repaint(header.getHeaderRect(newColumn)); }
@RunsInCurrentThread @Nonnull private static Point point(@Nonnull JTableHeader tableHeader, int index) { Rectangle r = tableHeader.getHeaderRect(index); return new Point(r.x + r.width / 2, r.y + r.height / 2); }
@Override public Dimension getPreferredSize() { Dimension pref = super.getPreferredSize(); return new Dimension(table.getTableHeader().getHeaderRect(DISPLAY_COLUMN_INDEX).width, pref.height); } }
protected void updateRolloverColumn(int oldColumn, int newColumn) { if ((header == null) || (header.getTable() == null)) { return; } header.repaint(header.getHeaderRect(oldColumn)); header.repaint(header.getHeaderRect(newColumn)); }
public void click(int columnIndex) { checkHeader(); JTableHeader tableHeader = jTable.getTableHeader(); Mouse.doClickInRectangle(tableHeader, tableHeader.getHeaderRect(columnIndex), false, Key.Modifier.NONE); }
public void rightClick(int columnIndex) { checkHeader(); JTableHeader tableHeader = jTable.getTableHeader(); Mouse.doClickInRectangle(tableHeader, tableHeader.getHeaderRect(columnIndex), true, Key.Modifier.NONE); }
public Rectangle getBounds(Component c) { JTableHeader header = (JTableHeader)c; int index = getIndex(header); if (index == -1) { String msg = Strings.get("tester.JTableHeader.invalid_index", new Object[] { new Integer(index) }); throw new LocationUnavailableException(msg); } return header.getHeaderRect(index); }
public void click(String columnName) { checkHeader(); JTableHeader tableHeader = jTable.getTableHeader(); int columnIndex = findColumnIndex(columnName); Mouse.doClickInRectangle(tableHeader, tableHeader.getHeaderRect(columnIndex), false, Key.Modifier.NONE); }
public void rightClick(String columnName) { checkHeader(); JTableHeader tableHeader = jTable.getTableHeader(); int columnIndex = findColumnIndex(columnName); Mouse.doClickInRectangle(tableHeader, tableHeader.getHeaderRect(columnIndex), true, Key.Modifier.NONE); }
private void paintVerticalLines(Graphics g) { Component view = getView(); int linesTop = view == null ? 0 : view.getHeight(); int linesBottom = getHeight() - 1; if (linesTop > 0 && linesTop <= linesBottom) { g.setColor(UIConstants.TABLE_VERTICAL_GRID_COLOR); int columnCount = tableHeader.getColumnModel().getColumnCount(); for (int i = 0; i < columnCount; i++) { Rectangle cellRect = tableHeader.getHeaderRect(i); int cellX = cellRect.x + cellRect.width - 1; g.drawLine(cellX, linesTop, cellX, linesBottom); } } } }
/** Convert the given index into a coordinate. */ protected Point indexToPoint(JTableHeader header, int index) { if (index < 0 || index >= header.getColumnModel().getColumnCount()) { String msg = Strings.get("tester.JTableHeader.invalid_index", new Object[] { new Integer(index) }); throw new LocationUnavailableException(msg); } Rectangle rect = header.getHeaderRect(index); return new Point(rect.x + rect.width/2, rect.y + rect.height/2); }
private TableColumn getResizingColumn(JTableHeader header, Point p, int column) { if (column == -1) return null; Rectangle r = header.getHeaderRect(column); r.grow(-3, 0); if (r.contains(p)) return null; int midPoint = r.x + r.width / 2; int columnIndex; if (header.getComponentOrientation().isLeftToRight()) columnIndex = (p.x < midPoint) ? column - 1 : column; else columnIndex = (p.x < midPoint) ? column : column - 1; return (columnIndex == -1) ? null : header.getColumnModel().getColumn(columnIndex); } }
@RunsInEDT @Nonnull private static Point pointAtName(final @Nonnull JTableHeader tableHeader, final @Nonnull TextMatcher matcher, final @Nonnull JTableHeaderLocation location) { Point result = execute(() -> { Pair<Integer, Point> indexAndLocation = location.pointAt(tableHeader, matcher); checkEnabledAndShowing(tableHeader); tableHeader.getTable().scrollRectToVisible(tableHeader.getHeaderRect(indexAndLocation.first)); return indexAndLocation.second; }); return checkNotNull(result); }
@RunsInEDT @Nonnull private static Point pointAtIndex(final @Nonnull JTableHeader tableHeader, final int columnIndex, final JTableHeaderLocation location) { Point result = execute(() -> { Point p = location.pointAt(tableHeader, columnIndex); checkEnabledAndShowing(tableHeader); tableHeader.getTable().scrollRectToVisible(tableHeader.getHeaderRect(columnIndex)); return p; }); return checkNotNull(result); }
protected int computeColumnPreferredWidth(int modelIndex, int viewIndex, int firstRow, int lastRow) { if (modelIndex != 1) return super.computeColumnPreferredWidth(modelIndex, viewIndex, firstRow, lastRow); viewManager.update(); if (viewManager.isFit()) { return getTableHeader().getHeaderRect(viewIndex).width; } else { return viewManager.getViewWidth(); } } };
public void doLayout() { int height = getHeight(); if (height > 0) for (Component component : getComponents()) { JScrollBar scroller = (JScrollBar)component; int column = table.convertColumnIndexToView(getColumn(scroller)); Rectangle rect = table.getTableHeader().getHeaderRect(column); scroller.setBounds(rect.x, 0, rect.width, height); scroller.doLayout(); } } public Dimension getPreferredSize() {
private void repaintTimeline() { JTableHeader header = threadsTable.getTableHeader(); TableColumn draggedColumn = header.getDraggedColumn(); if (draggedColumn != null && draggedColumn.getModelIndex() == 1) { header.repaint(); } else { int _column = threadsTable.convertColumnIndexToView(1); header.repaint(header.getHeaderRect(_column)); } }