/** Changes the thumb position to the specified grid component */
void update(GridComponent gc) {
DesignerDragSource dds =
(DesignerDragSource) JETARegistry.lookup(DesignerDragSource.COMPONENT_ID);
if (dds != null && dds != this && dds.isDragging()) {
return;
}
if (isPaintMargin() && !m_dragging && m_compsrc.isSelectionTool()) {
m_gc = gc;
if (gc != null) {
GridView parentview = gc.getParentView();
if (parentview == m_view) {
m_gc = null;
} else {
if (parentview != null) {
Insets insets = parentview.getInsets();
int col_offset = gc.getColumn() + gc.getColumnSpan() - 1;
Point pt =
javax.swing.SwingUtilities.convertPoint(
parentview,
parentview.getColumnOrgX(col_offset)
+ parentview.getColumnWidth(col_offset)
+ insets.left,
0,
this);
m_xpos = pt.x;
}
}
}
repaint();
}
}
