@Override public void componentResized(ComponentEvent e) { Component source = e.getComponent(); scroller.setSize(source.getSize()); scroller.revalidate(); } });
/** * Selection drag handling */ private void beginSelectionDrag(int x, int y, boolean shiftHeld) { // Show the selection panel selectionPanel.setVisible(true); selectionPanel.setLocation(x, y); cardScroll.revalidate(); // Store the drag start location selectionDragStartX = x; selectionDragStartY = y; // Store the starting cards to include in the selection selectionDragStartCards = new HashSet<>(); if (shiftHeld) { selectionDragStartCards.addAll(dragCardList()); } // Notify selection notifyCardsSelected(); }
cardScroll.revalidate(); cardScroll.repaint(); } else {
cardScroll.revalidate(); repaint(); JOptionPane.showMessageDialog(null, "Added " + pimpedCards.size() + " cards. You can select them and the originals by choosing 'Multiples'");
@Override public void dragCardEnd(DragCardTarget target) { if (target == this) { // Already handled by dragged onto handler } else if (target == null) { // Don't remove the cards, no target } else { // Remove dragged cards for (ArrayList<ArrayList<CardView>> gridRow : cardGrid) { for (ArrayList<CardView> stack : gridRow) { for (int i = 0; i < stack.size(); ++i) { CardView card = stack.get(i); if (card.isSelected()) { stack.set(i, null); removeCardView(card); eventSource.fireEvent(card, ClientEventType.REMOVE_SPECIFIC_CARD); } } } } trimGrid(); layoutGrid(); cardScroll.revalidate(); cardScroll.repaint(); } }
public void sortLayout() { if (battlefield == null || this.getWidth() < 1) { // Can't do layout when panel is not sized yet return; } layoutStrategy.doLayout(this, width); this.jScrollPane.repaint(); this.jScrollPane.revalidate(); invalidate(); repaint(); }
cardScroll.revalidate(); repaint();
table.setPreferredScrollableViewportSize(table.getPreferredSize()); JScrollPane scrollPane = (JScrollPane)table.getParent().getParent(); scrollPane.revalidate();
cardScroll.revalidate(); repaint();
public void setScale(double scale) { if ( treeViewers==null ) return; for (TreeViewer viewer : treeViewers) { viewer.setScale(scale); } treeScrollPane.revalidate(); }
public void run() { // Select the node(s) that should be selected (do this after assigning the tree to the scroll pane) setSelectedNodes(wfTree, workflow); // Set the tree for the current workflow wfTree = openedWorkflowsTrees.get(workflow); // Repaint the scroll pane containing the tree scrollPane.setViewportView(wfTree); // Repaint the scroll pane containing the tree scrollPane.revalidate(); scrollPane.repaint(); } };
public void run() { setSelectedNodes(wfTree, workflow); scrollPane.revalidate(); scrollPane.repaint(); } };
public void run() { // Repaint the scroll pane containing the tree scrollPane.setViewportView(wfTree); scrollPane.revalidate(); scrollPane.repaint(); } };
void repositionScroll( Point p ) { // Make sure we aren't scrolling off the screen Dimension s = getSize(); Dimension ps = drawingPane.getPreferredSize(); p.x = Math.min( ps.width - s.width, p.x ); p.y = Math.min( ps.height - s.height, p.y ); p.x = Math.max( 0, p.x ); p.y = Math.max( 0, p.y ); scroller.getViewport().setViewPosition( p ); scroller.revalidate(); }
@ScriptFunction(jsDoc = ADD_JSDOC, params = {"component"}) public void add(JComponent aComp) { if (aComp != null) { super.setViewportView(aComp); super.revalidate(); super.repaint(); } }
@Override public void componentResized(ComponentEvent e) { Component source =e.getComponent(); scroller.setSize(source.getSize()); scroller.revalidate(); } });
@Override public void actionPerformed(@Nonnull ActionEvent e) { options.setDrawAsImage(checkBoxDrawAsImage.isSelected()); splitToPagesForCurrentFormat(); scrollPane.revalidate(); scrollPane.getViewport().revalidate(); scrollPane.repaint(); } });
@Override public void actionPerformed(@Nonnull final ActionEvent e) { pageFormat = printerJob.pageDialog(pageFormat); splitToPagesForCurrentFormat(); scrollPane.revalidate(); scrollPane.getViewport().revalidate(); scrollPane.repaint(); } });
private void initialize(JFreeChart chart) { initComponents(); if (chart == null) { throw new IllegalArgumentException("Chart panel can't be null"); } this.chartPanel = new ChartPanel(chart, true); scroll.setViewportView(chartPanel); adaptChartPanelSizeToScrollSize(); scroll.revalidate(); scroll.repaint(); setVisible(true); }
void adjustJScrollPane() { if ( getTabbedPane() != null ) { getCurrentScrollPanePanel().remove( getCurrentScrollPane() ); getCurrentScrollPanePanel().add( getCurrentScrollPane(), BorderLayout.CENTER ); } getCurrentScrollPane().revalidate(); }