private void jbInit(Reader reader) throws Exception { final Border border = BorderFactory.createEmptyBorder(); jSplitPane1.setOrientation(JSplitPane.VERTICAL_SPLIT); tokenPane.setEditable(false); tokenPane.setText(""); scriptPane.setFont(new java.awt.Font("DialogInput", 0, 12)); scriptPane.setEditable(false); scriptPane.setMargin(new Insets(5, 5, 5, 5)); scriptPane.setText(""); jScrollPane1.setBorder(border); jScrollPane2.setBorder(border); jSplitPane1.setMinimumSize(new Dimension(800, 600)); mainPanel.add(jSplitPane1, BorderLayout.CENTER); if (reader == null) { mainPanel.add(jbutton, BorderLayout.NORTH); } this.getContentPane().add(mainPanel); jSplitPane1.add(jScrollPane1, JSplitPane.LEFT); jScrollPane1.getViewport().add(tokenPane, null); jSplitPane1.add(jScrollPane2, JSplitPane.RIGHT); jScrollPane2.getViewport().add(scriptPane, null); jScrollPane1.setColumnHeaderView(new JLabel(" Token Stream:")); jScrollPane2.setColumnHeaderView(new JLabel(" Input Script:")); jSplitPane1.setResizeWeight(0.5); }
timeAxis.setPreferredHeight(drawingPane.getHeight()); scroller.setRowHeaderView(timeAxis); scroller.setColumnHeaderView(sequenceDiagram.createMemberAxis()); int preferredWidth = (int) (Toolkit.getDefaultToolkit().getScreenSize().getWidth() - 100); int preferredHeight = (int) (Toolkit.getDefaultToolkit().getScreenSize().getHeight() - 100);
JScrollPane scroll = new JScrollPane(table); scroll.setColumnHeaderView(table.getTableHeader()); table.setPreferredScrollableViewportSize(table.getPreferredSize());
/** * Set whether the column header should be displayed */ public void setShowColumnHeader(boolean showHeader) { showColumnHeader = showHeader; if (showHeader) { setColumnHeader(columnHeader); } else { scrollGrid.setColumnHeaderView(null); } }
protected void $initialize_05_setProperties() { if (log.isDebugEnabled()) { log.debug(this); } // apply 3 property setters $JScrollPane0.setColumnHeaderView(treeHeader); go.setIcon(SwingUtil.getUIManagerActionIcon("config-quit")); }
@Override public void processDataBinding() { if (table != null) { tablePane.setColumnHeaderView(table.getTableHeader()); } }
/** * Set whether the column header should be displayed */ public void setShowColumnHeader(boolean showHeader) { showColumnHeader = showHeader; if (showHeader) { setColumnHeader(columnHeader); } else { scrollGrid.setColumnHeaderView(null); } }
protected void $initialize_05_setProperties() { if (log.isDebugEnabled()) { log.debug(this); } // apply 3 property setters $JScrollPane0.setColumnHeaderView(treeHeader); go.setIcon(SwingUtil.getUIManagerActionIcon("config-quit")); }
@Override public void processDataBinding() { if (table != null) { tablePane.setColumnHeaderView(table.getTableHeader()); } }
@Override public void processDataBinding() { if (table != null) { tablePane.setColumnHeaderView(table.getTableHeader()); } }
JTable t = new JTable(3,3); JScrollPane jScrollPane = new JScrollPane(t); t.setTableHeader(null); jScrollPane.setColumnHeaderView(null);
protected void unconfigureEnclosingScrollPane() { Container p = getParent(); if (p instanceof JViewport) { Container gp = p.getParent(); if (gp instanceof JScrollPane) { JScrollPane scrollPane = (JScrollPane) gp; scrollPane.setColumnHeaderView(null); scrollPane.setRowHeaderView(null); } } }
/** Overridden - JTable's implementation of the method will * actually attach (and leave behind) a gratuitous border * on the enclosing scroll pane. */ protected final void configureEnclosingScrollPane() { Container p = getParent(); if (p instanceof JViewport) { Container gp = p.getParent(); if (gp instanceof JScrollPane) { JScrollPane scrollPane = (JScrollPane)gp; JViewport viewport = scrollPane.getViewport(); if (viewport == null || viewport.getView() != this) { return; } scrollPane.setColumnHeaderView(getTableHeader()); } } }
/** Overridden - JTable's implementation of the method will * actually attach (and leave behind) a gratuitous border * on the enclosing scroll pane. */ protected final void configureEnclosingScrollPane() { Container p = getParent(); if (p instanceof JViewport) { Container gp = p.getParent(); if (gp instanceof JScrollPane) { JScrollPane scrollPane = (JScrollPane) gp; JViewport viewport = scrollPane.getViewport(); if ((viewport == null) || (viewport.getView() != this)) { return; } scrollPane.setColumnHeaderView(getTableHeader()); } } }
private void configureEnclosingScrollPane() { Container p = getParent(); if (p instanceof JViewport) { Container gp = p.getParent(); if (gp instanceof JScrollPane) { JScrollPane scrollPane = (JScrollPane) gp; scrollPane.setColumnHeaderView(getGroupWeekColumnHeader()); scrollPane.setRowHeaderView(getGroupWeekRowHeader()); } } }
private void $completeSetup() { allComponentsCreated = true; if (log.isDebugEnabled()) { log.debug(this); } // inline complete setup of $JPanel0 add($JScrollPane0, BorderLayout.CENTER); add(go, BorderLayout.SOUTH); add(treeHeader, BorderLayout.EAST); // inline complete setup of $JScrollPane0 $JScrollPane0.getViewport().add(detectedCallBack); addChildrenToTreeHeader(); // apply 3 property setters $JScrollPane0.setColumnHeaderView(treeHeader); go.setIcon(SwingUtil.createActionIcon("config-quit")); }
protected void configureScrolling() { removeAll(); if (isInScrollPane) { add(table, BorderLayout.CENTER); JScrollPane pane = (JScrollPane) getParent().getParent(); pane.getViewport().setBackground(Color.WHITE); pane.setViewportView(FacetsTable.this); pane.setColumnHeaderView(columnHeaders); } else { this.add(columnHeaders, BorderLayout.NORTH); this.add(table, BorderLayout.CENTER); } }
public static void createColumnHeaderView(ActionContext actionContext){ Thing self = (Thing) actionContext.get("self"); JScrollPane parent = (JScrollPane) actionContext.get("parent"); for(Thing child : self.getChilds()){ Component obj = (Component) child.doAction("create", actionContext); if(obj != null){ parent.setColumnHeaderView(obj); break; } } }
/** Creates a new instance of SceneEditor */ public SceneEditor(Scene scene) { this.scene = scene; ScenePanel editor = new ScenePanel(scene); this.scroll = new JScrollPane(editor); scroll.setColumnHeaderView(editor.getRulerHorizontal()); scroll.setRowHeaderView(editor.getRulerVertical()); scroll.setCorner(JScrollPane.UPPER_LEFT_CORNER, editor.getGridButton()); }
protected void unconfigureEnclosingScrollPane() { if (!getAutoCreateColumnHeader() && !getAutoCreateRowHeader()) return; JScrollPane scrollPane = getScrollPaneAncestor(); if (scrollPane == null) return; if (getAutoCreateColumnHeader()) scrollPane.setColumnHeaderView(null); if (getAutoCreateRowHeader()) { scrollPane.setRowHeaderView(null); rowHeader = null; } }