/** Create UI components. */ private void createUIComponents() { templatesListPanel = new TemplatesListPanel(); editorPanel = new EditorPanel(); editorPanel.setPreferredSize(new Dimension(Integer.MAX_VALUE, 200)); templatesSplitter = new Splitter(false, 0.3f); templatesSplitter.setFirstComponent(templatesListPanel); templatesSplitter.setSecondComponent(editorPanel); languagesTable = new JBTable(); languagesTable.setModel(new LanguagesTableModel()); languagesTable.getSelectionModel().setSelectionMode(ListSelectionModel.SINGLE_SELECTION); languagesTable.setColumnSelectionAllowed(false); languagesTable.setRowHeight(22); languagesTable.setPreferredScrollableViewportSize(new Dimension(-1, languagesTable.getRowHeight() * IgnoreBundle.LANGUAGES.size() / 2)); languagesTable.setStriped(true); languagesTable.setShowGrid(false); languagesTable.setBorder(JBUI.Borders.empty()); languagesTable.setDragEnabled(false); languagesPanel = ScrollPaneFactory.createScrollPane(languagesTable); donatePanel = new JBPanel(new BorderLayout()); donatePanel.setBorder(JBUI.Borders.empty(10, 0)); donatePanel.add(new JBLabel(IgnoreBundle.message("settings.general.donate")), BorderLayout.WEST); donatePanel.add(createLink( "Donate with PayPal", "https://www.paypal.me/hsz" ), BorderLayout.CENTER); }
setTitle(title); treeViewers = new TreeViewer[ambiguousParseTrees.size()]; JBPanel panelOfTrees = new JBPanel(); PreviewInterpreterRuleContext chosenTree = (PreviewInterpreterRuleContext) ambiguousParseTrees.get(highlightTreeIndex); panelOfTrees.setLayout(new BoxLayout(panelOfTrees, BoxLayout.X_AXIS)); for (int i = 0; i<numTrees; i++) { if ( i>0 ) { panelOfTrees.add(new JSeparator(JSeparator.VERTICAL)); mark(chosenTree, ctx, startIndex, stopIndex); JBPanel wrapper = new JBPanel(new BorderLayout()); if ( i==highlightTreeIndex ) { wrapper.setBackground(JBColor.white); wrapper.add(treeViewers[i], BorderLayout.CENTER); panelOfTrees.add(wrapper);
@Override public Dimension getPreferredSize() { return getSize(super.getPreferredSize(), myPreferredWidth, myPreferredHeight, isPreferredSizeSet()); }
public T withBackground(@Nullable Color background) { setBackground(background); return (T)this; }
@Override public Dimension getMaximumSize() { return getSize(super.getMaximumSize(), myMaximumWidth, myMaximumHeight, isMaximumSizeSet()); }
@Override public Dimension getMinimumSize() { return getSize(super.getMinimumSize(), myMinimumWidth, myMinimumHeight, isMinimumSizeSet()); }
@Override public T withFont(JBFont font) { setFont(font); return (T)this; }
@Override public T withBorder(Border border) { setBorder(border); return (T)this; }