/** shows this dialog centered on screen */
 public void setVisible(boolean flag) {
   if (flag) {
     ((ConstructionTableData) data).attachView();
   } else {
     ((ConstructionTableData) data).detachView();
   }
   scrollPane.setVisible(flag);
 }
    @Override
    public void actionPerformed(ActionEvent e) {
      // JCheckBoxMenuItem item = (JCheckBoxMenuItem) e.getSource();
      TableColumnModel model = table.getColumnModel();

      if (colData.isVisible() == false) {
        colData.setVisible(true);
        model.addColumn(column);
        // column is added at right end of model
        // move column to its default place
        int lastPos = model.getColumnCount() - 1;
        int pos = data.getColumnNumber(colData);
        if (pos >= 0 && pos < lastPos) model.moveColumn(lastPos, pos);
        scrollPane.setSize(
            scrollPane.getWidth() + column.getPreferredWidth(), scrollPane.getHeight());

        // show breakPointColumn => show all lines
        if (isBreakPointColumn) {
          kernel.getConstruction().setShowOnlyBreakpoints(false);
          // cbShowOnlyBreakpoints.setSelected(false);
        }
      } else {
        colData.setVisible(false);
        model.removeColumn(column);
        // setSize(getWidth() - column.getWidth(), getHeight());
        // setSize(view.getWidth(), getHeight());
      }
      table.tableChanged(new TableModelEvent(((GAbstractTableModelD) data.getImpl()).getImpl()));

      // reinit view to update possible breakpoint changes
      ((ConstructionTableData) data).initView();
      SwingUtilities.updateComponentTreeUI(view.scrollPane);
    }
 /** inits GUI with labels of current language */
 public void initGUI() {
   // setTitle(app.getPlain("ConstructionProtocol"));
   scrollPane.setFont(((AppD) app).getPlainFont());
   // setMenuBar();
   getStyleBar().setLabels();
   // set header values (language may have changed)
   for (int k = 0; k < tableColumns.length; k++) {
     tableColumns[k].setHeaderValue(data.columns[k].getTranslatedTitle());
   }
   table.updateUI();
   table.setFont(((AppD) app).getPlainFont());
   ((ConstructionTableData) data).updateAll();
   getStyleBar().reinit();
   // protNavBar.updateIcons();
 }
 // Michael Borcherds 2008-05-15
 public void update() {
   ((ConstructionTableData) data).updateAll();
 }
 public void setAddIcons(boolean flag) {
   addIcons = flag;
   ((ConstructionTableData) data).updateAll();
 }
 public void setUseColors(boolean flag) {
   useColors = flag;
   ((ConstructionTableData) data).updateAll();
 }
 public void initProtocol() {
   if (!isViewAttached) ((ConstructionTableData) data).initView();
 }
 public void unregisterNavigationBar(ConstructionProtocolNavigationD nb) {
   navigationBars.remove(nb);
   ((ConstructionTableData) data).detachView(); // only done if there are
   // no more navigation
   // bars
 }
 @Override
 public void setValueAt(Object value, int row, int col) {
   ((ConstructionTableData) ctData).setValueAt(value, row, col);
 }