Package org.twodividedbyzero.idea.findbugs.gui.common

Examples of org.twodividedbyzero.idea.findbugs.gui.common.CustomLineBorder


  JPanel getBugDetailsPanel() {
    if (_bugDetailsPanel == null) {
      final JScrollPane scrollPane = ScrollPaneFacade.createScrollPane(ScrollPaneConstants.VERTICAL_SCROLLBAR_ALWAYS, ScrollPaneConstants.HORIZONTAL_SCROLLBAR_AS_NEEDED);
      scrollPane.setViewportView(getBugDetailsPane());
      //scrollPane.setBorder(BorderFactory.createCompoundBorder(new EmptyBorder(0, 0, 0, 3), new CustomLineBorder(new Color(98, 95, 89), 0, 0, 1, 1)));
      scrollPane.setBorder(new CustomLineBorder(new JBColor(new Color(98, 95, 89), new Color(53, 51, 48)), 0, 0, 1, 0));
      //scrollPane.setBorder(new EmptyBorder(0, 0, 0, 0));

      _bugDetailsPanel = new JPanel();
      _bugDetailsPanel.setBorder(new EmptyBorder(3, 2, 0, 3));
      _bugDetailsPanel.setLayout(new BorderLayout());
View Full Code Here


  JPanel getBugExplanationPanel() {
    if (_explanationPanel == null) {
      final JScrollPane scrollPane = ScrollPaneFacade.createScrollPane(ScrollPaneConstants.VERTICAL_SCROLLBAR_ALWAYS, ScrollPaneConstants.HORIZONTAL_SCROLLBAR_AS_NEEDED);
      scrollPane.setViewportView(getExplanationPane());
      scrollPane.setBorder(BorderFactory.createCompoundBorder(new CustomLineBorder(new JBColor(new Color(208, 206, 203), new Color(170, 168, 165)), 1, 0, 0, 0), new CustomLineBorder(new JBColor(new Color(98, 95, 89), new Color(71, 68, 62)), 1, 0, 0, 0)));

      _explanationPanel = new JPanel();
      _explanationPanel.setBorder(new EmptyBorder(0, 2, 0, 3));
      _explanationPanel.setLayout(new BorderLayout());
      _explanationPanel.add(scrollPane, BorderLayout.CENTER);
View Full Code Here

      final double border = 5;
      final double[][] size = {{border, TableLayoutConstants.PREFERRED, 5, TableLayoutConstants.FILL, border}, // Columns
                   {border, TableLayoutConstants.PREFERRED, border}};// Rows
      final TableLayout tbl = new TableLayout(size);
      _component = new JPanel(tbl);
      _component.setBorder(new CustomLineBorder(JBColor.GRAY, 0, 0, 1, 0));
      _component.setBackground(PLUGIN_DESCRIPTION_BG_COLOR);

      String text = plugin.getShortDescription();
      final String pluginId = plugin.getPluginId();
      if (text == null) {
View Full Code Here

TOP

Related Classes of org.twodividedbyzero.idea.findbugs.gui.common.CustomLineBorder

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.