public void actionPerformed(ActionEvent e) { view.setSyncronizing(cb.isSelected()); view.setPinned(!cb.isSelected()); } });
public void actionPerformed(ActionEvent e) { view.setSyncronizing(cb.isSelected()); view.setPinned(!cb.isSelected()); } });
public void actionPerformed(ActionEvent e) { view.setSyncronizing(cb.isSelected()); view.setPinned(!cb.isSelected()); } });
public void splitVertically(View bottomView) { bottomView.setSyncronizing(false); JSplitPane sp = createSplitPane(JSplitPane.HORIZONTAL_SPLIT); View view = (View) getComponent(0); remove(view); add(sp); validate(); sp.setLeftComponent(new ViewContainer(view)); sp.setRightComponent(new ViewContainer(bottomView)); sp.setDividerLocation(sp.getWidth() / 2); }
public void splitVertically(View bottomView) { bottomView.setSyncronizing(false); JSplitPane sp = createSplitPane(JSplitPane.HORIZONTAL_SPLIT); View view = (View) getComponent(0); remove(view); add(sp); validate(); sp.setLeftComponent(new ViewContainer(view)); sp.setRightComponent(new ViewContainer(bottomView)); sp.setDividerLocation(sp.getWidth() / 2); }
public void splitVertically(View bottomView) { bottomView.setSyncronizing(false); JSplitPane sp = createSplitPane(JSplitPane.HORIZONTAL_SPLIT); View view = (View) getComponent(0); remove(view); add(sp); validate(); sp.setLeftComponent(new ViewContainer(view)); sp.setRightComponent(new ViewContainer(bottomView)); sp.setDividerLocation(sp.getWidth() / 2); }
protected void createUI() { setLayout(new BorderLayout()); ViewComponentPlugin plugin = getViewComponentPlugin(); view = new View(plugin, editorKit.getWorkspace()); view.setPinned(true); view.setSyncronizing(false); view.createUI(); view.setShowViewBanner(false); add(view); setBorder(BorderFactory.createCompoundBorder(BorderFactory.createLineBorder(Color.LIGHT_GRAY), BorderFactory.createEmptyBorder(2, 2, 2, 2))); // only attach change listeners once the component is shown // (as those that use a view component are lazilly created) view.addHierarchyListener(new HierarchyListener(){ public void hierarchyChanged(HierarchyEvent event) { if (!registeredListener){ addSelectionListener(new ChangeListener(){ public void stateChanged(ChangeEvent event) { boolean valid = getSelectedObjects() != null && !getSelectedObjects().isEmpty(); for (InputVerificationStatusChangedListener l : validateListeners){ l.verifiedStatusChanged(valid); } isValid = valid; } }); registeredListener = true; } } }); }
protected void createUI() { setLayout(new BorderLayout()); ViewComponentPlugin plugin = getViewComponentPlugin(); view = new View(plugin, editorKit.getWorkspace()); view.setPinned(true); view.setSyncronizing(false); view.createUI(); view.setShowViewBanner(false); add(view); setBorder(BorderFactory.createCompoundBorder(BorderFactory.createLineBorder(Color.LIGHT_GRAY), BorderFactory.createEmptyBorder(2, 2, 2, 2))); // only attach change listeners once the component is shown // (as those that use a view component are lazilly created) view.addHierarchyListener(new HierarchyListener(){ public void hierarchyChanged(HierarchyEvent event) { if (!registeredListener){ addSelectionListener(new ChangeListener(){ public void stateChanged(ChangeEvent event) { boolean valid = getSelectedObjects() != null && !getSelectedObjects().isEmpty(); for (InputVerificationStatusChangedListener l : validateListeners){ l.verifiedStatusChanged(valid); } isValid = valid; } }); registeredListener = true; } } }); }
public void splitHorizontally(View rightView) { rightView.setSyncronizing(false); JSplitPane sp = createSplitPane(JSplitPane.VERTICAL_SPLIT); View view = (View) getComponent(0); remove(view); add(sp); validate(); sp.setTopComponent(new ViewContainer(view)); sp.setBottomComponent(new ViewContainer(rightView)); sp.setDividerLocation(sp.getHeight() / 2); }
public void splitHorizontally(View rightView) { rightView.setSyncronizing(false); JSplitPane sp = createSplitPane(JSplitPane.VERTICAL_SPLIT); View view = (View) getComponent(0); remove(view); add(sp); validate(); sp.setTopComponent(new ViewContainer(view)); sp.setBottomComponent(new ViewContainer(rightView)); sp.setDividerLocation(sp.getHeight() / 2); }
public void splitHorizontally(View rightView) { rightView.setSyncronizing(false); JSplitPane sp = createSplitPane(JSplitPane.VERTICAL_SPLIT); View view = (View) getComponent(0); remove(view); add(sp); validate(); sp.setTopComponent(new ViewContainer(view)); sp.setBottomComponent(new ViewContainer(rightView)); sp.setDividerLocation(sp.getHeight() / 2); }
protected void createUI() { setLayout(new BorderLayout()); ViewComponentPlugin plugin = getViewComponentPlugin(); view = new View(plugin, editorKit.getWorkspace()); view.setPinned(true); view.setSyncronizing(false); view.createUI(); view.setShowViewBanner(false); add(view); // setBorder(BorderFactory.createCompoundBorder(BorderFactory.createLineBorder(Color.LIGHT_GRAY), // BorderFactory.createEmptyBorder(2, 2, 2, 2))); // only attach change listeners once the component is shown // (as those that use a view component are lazilly created) view.addHierarchyListener(event -> { if (!registeredListener){ addSelectionListener(e -> { boolean valid = getSelectedObjects() != null && !getSelectedObjects().isEmpty(); for (InputVerificationStatusChangedListener l : validateListeners){ l.verifiedStatusChanged(valid); } isValid = valid; }); registeredListener = true; } }); }
protected void createUI() { setLayout(new BorderLayout()); ViewComponentPlugin plugin = getViewComponentPlugin(); view = new View(plugin, editorKit.getWorkspace()); view.setPinned(true); view.setSyncronizing(false); view.createUI(); view.setShowViewBanner(false); add(view); // setBorder(BorderFactory.createCompoundBorder(BorderFactory.createLineBorder(Color.LIGHT_GRAY), // BorderFactory.createEmptyBorder(2, 2, 2, 2))); // only attach change listeners once the component is shown // (as those that use a view component are lazilly created) view.addHierarchyListener(event -> { if (!registeredListener){ addSelectionListener(e -> { boolean valid = getSelectedObjects() != null && !getSelectedObjects().isEmpty(); for (InputVerificationStatusChangedListener l : validateListeners){ l.verifiedStatusChanged(valid); } isValid = valid; }); registeredListener = true; } }); }