eclipse/visualisation/TableViewer.java

31 import javax.swing.table.*;
37  * A text table viewer based on JTable
46   private SpreadSheet table;
115     //table = new JTable(getViewletArray());
116     table = new SpreadSheet(getViewletDataStore(), null, null);
117     table.setAutoResizeMode(JTable.AUTO_RESIZE_OFF);
118     table.setAutoCreateColumnsFromModel(false);
119     table.setColumnSelectionAllowed(true);
120     table.setRowSelectionAllowed(true);
121     table.setCellSelectionEnabled(true);
123     table.setDefaultRenderer((new Object()).getClass(),
125     scrollpane = new JScrollPane(table);
131         new MouseViewletMenuUpPopper(this, table);
132     // create the selection for this table
133     //selection = new ViewletSelectionSpreadSheet((SpreadSheet)table, this);
135     table.setColumnWidth(DEFAULT_COLUMN_WIDTH);
136     table.setRowHeight(DEFAULT_ROW_HEIGHT);
168     table.setColumnWidth((int)(DEFAULT_COLUMN_WIDTH*zoomLevel));
169     table.setRowHeight((int)(DEFAULT_ROW_HEIGHT*zoomLevel));
170     table.revalidate();
176     final int col_count = table.getColumnCount();
177     final TableColumnModel col_model = table.getColumnModel();
182     table.setRowHeight((int)(table.getRowHeight()*zoomRatio));
183     table.revalidate();
215     table.fitWidth();
216     table.revalidate();
236     table.fitHeight();
237     table.revalidate();
293       table.clearSelection();
298     //    Rectangle box = table.findBoundingBox(newSelection);
300     table.setColumnSelectionInterval(box.x, box.x + box.width - 1);
301     table.setRowSelectionInterval(box.y, box.y + box.height - 1);
309     return new SpreadSheetSelectionViewletRange(table);
315    * in this table
388 //  	((AbstractTableModel)table.getModel()).fireTableDataChanged();
402 //      public Component getTableCellRendererComponent(JTable table,
409 //  	(JLabel)(super.getTableCellRendererComponent(table,