javax.swing.border.TitledBorder#setTitleFont ( )源码实例Demo

下面列出了javax.swing.border.TitledBorder#setTitleFont ( ) 实例代码,或者点击链接到github查看源代码,也可以在右侧发表评论。

源代码1 项目: RipplePower   文件: UIRes.java
public static void addStyle(JTextField textField, String labelName, boolean bottom) {
	textField.setHorizontalAlignment(SwingConstants.RIGHT);
	Border line = BorderFactory.createLineBorder(Color.LIGHT_GRAY);
	TitledBorder titled = BorderFactory.createTitledBorder(line, labelName);
	titled.setTitleFont(GraphicsUtils.getFont("Verdana", 0, 13));
	titled.setTitleColor(fontColorTitle);
	Border empty = null;
	if (bottom) {
		empty = new EmptyBorder(5, 8, 5, 8);
	} else {
		empty = new EmptyBorder(5, 8, 0, 8);
	}
	CompoundBorder border = new CompoundBorder(titled, empty);
	textField.setBorder(border);
	textField.setForeground(fontColor);
	textField.setFont(GraphicsUtils.getFont("Monospaced", 0, 13));
}
 
源代码2 项目: dragonwell8_jdk   文件: Test7022041.java
/**
  * Check behaviour of method TitledBorder.getTitleFont()
  */
private static void checkTitleFont() {
    TitledBorder titledBorder = new TitledBorder(new EmptyBorder(1, 1, 1, 1));
    Font defaultFont = UIManager.getLookAndFeelDefaults().getFont("TitledBorder.font");
    Font titledBorderFont = titledBorder.getTitleFont();

    // check default configuration
    if (defaultFont == null) {
        if (titledBorderFont == null) {
            return;
        }
        else {
            throw new RuntimeException("TitledBorder default font should be null");
        }
    }
    if (!defaultFont.equals(titledBorderFont)) {
        throw new RuntimeException("L&F default font " + defaultFont.toString()
                                 + " differs from TitledBorder font " + titledBorderFont.toString());
    }

    // title font is explicitly specified
    Font font = new Font("Dialog", Font.PLAIN, 10);
    titledBorder.setTitleFont(font);
    if (!font.equals(titledBorder.getTitleFont())) {
        throw new RuntimeException("TitledBorder font should be " + font.toString());
    }

    // title Font is unspecified
    titledBorder.setTitleFont(null);
    if (!defaultFont.equals(titledBorder.getTitleFont())) {
        throw new RuntimeException("L&F default font " + defaultFont.toString()
                                 + " differs from TitledBorder font " + titledBorderFont.toString());
    }
}
 
源代码3 项目: ghidra   文件: WizardManager.java
private void updateScrollPaneBorder(JPanel panel) {
	if (panel == null) {
		return;
	}

	scrollPane.setBackground(panel.getBackground());

	if (scrollPane.getVerticalScrollBar().isShowing()) {
		TitledBorder titledBorder =
			new TitledBorder(BorderFactory.createEmptyBorder(), "(scroll for more options)");

		Font font = titledBorder.getTitleFont();
		if (font == null) {
			// workaround for bug on Java 7
			font = titleLabel.getFont();
		}

		titledBorder.setTitleFont(font.deriveFont(10f));
		titledBorder.setTitleColor(Color.BLUE);
		titledBorder.setTitlePosition(TitledBorder.BOTTOM);
		titledBorder.setTitleJustification(TitledBorder.TRAILING);

		scrollPane.setBorder(titledBorder);
	}
	else {
		scrollPane.setBorder(BorderFactory.createEmptyBorder());
	}
}
 
源代码4 项目: ModTheSpire   文件: ModSelectWindow.java
private JLabel makeInfoLabelField(String title, String value)
{
    JLabel label = new JLabel(value);

    TitledBorder border = BorderFactory.createTitledBorder(title);
    border.setTitleFont(border.getTitleFont().deriveFont(Font.BOLD));
    label.setFont(label.getFont().deriveFont(Font.PLAIN));
    label.setBorder(BorderFactory.createCompoundBorder(
        border,
        BorderFactory.createEmptyBorder(5, 5, 5, 5)
    ));

    return label;
}
 
源代码5 项目: gameserver   文件: TaskReloadConfigPanel.java
public void init() {
	JXPanel settingPanel = new JXPanel();
	TitledBorder border = BorderFactory.createTitledBorder(
			BorderFactory.createEtchedBorder(), "服务器设定");
	border.setTitleFont(MainFrame.BIG_FONT);
	settingPanel.setBorder(border);
	
	this.okButton.setActionCommand(ActionName.OK.name());
	this.okButton.addActionListener(this);
	
	settingPanel.setLayout(new MigLayout("wrap 4, gap 10px, alignx center", ""));
	
	settingPanel.add(this.lblGameServer, "sg lb");
	settingPanel.add(this.gameServerField, "sg fd, growx, pushx");
	settingPanel.add(this.lblGamePort,  "sg lb");
	settingPanel.add(this.gameServerPort, "sg fd, growx, pushx");
	
	JXPanel configPanel = new JXPanel();
	TitledBorder backupBorder =  BorderFactory.createTitledBorder("配置文件");
	backupBorder.setTitleFont(MainFrame.BIG_FONT);
	configPanel.setBorder(backupBorder);
	configPanel.setLayout(new MigLayout("wrap 4, align center"));
	JXPanel collPanel = new JXPanel();
	collPanel.setLayout(new MigLayout("wrap 4, align center"));
	collPanel.setBorder(BorderFactory.createEtchedBorder());
	for ( int i=0; i<CONFIG_NAMES.length; i++ ) {
		String collection = CONFIG_NAMES[i];
		backupCollections[i] = new JCheckBox(collection);
		collPanel.add(backupCollections[i], "sg checkbox");
	}
	configPanel.add(collPanel, "align center, width 100%");
	configPanel.add(this.okButton, "newline, span, split 2, alignx center, aligny bottom");
	
	this.setLayout(new MigLayout("wrap 1"));
	this.add(settingPanel, "width 100%");
	this.add(configPanel,  "width 100%");
}
 
源代码6 项目: openjdk-jdk8u   文件: Test7022041.java
/**
  * Check behaviour of method TitledBorder.getTitleFont()
  */
private static void checkTitleFont() {
    TitledBorder titledBorder = new TitledBorder(new EmptyBorder(1, 1, 1, 1));
    Font defaultFont = UIManager.getLookAndFeelDefaults().getFont("TitledBorder.font");
    Font titledBorderFont = titledBorder.getTitleFont();

    // check default configuration
    if (defaultFont == null) {
        if (titledBorderFont == null) {
            return;
        }
        else {
            throw new RuntimeException("TitledBorder default font should be null");
        }
    }
    if (!defaultFont.equals(titledBorderFont)) {
        throw new RuntimeException("L&F default font " + defaultFont.toString()
                                 + " differs from TitledBorder font " + titledBorderFont.toString());
    }

    // title font is explicitly specified
    Font font = new Font("Dialog", Font.PLAIN, 10);
    titledBorder.setTitleFont(font);
    if (!font.equals(titledBorder.getTitleFont())) {
        throw new RuntimeException("TitledBorder font should be " + font.toString());
    }

    // title Font is unspecified
    titledBorder.setTitleFont(null);
    if (!defaultFont.equals(titledBorder.getTitleFont())) {
        throw new RuntimeException("L&F default font " + defaultFont.toString()
                                 + " differs from TitledBorder font " + titledBorderFont.toString());
    }
}
 
源代码7 项目: openjdk-8   文件: Test7022041.java
/**
  * Check behaviour of method TitledBorder.getTitleFont()
  */
private static void checkTitleFont() {
    TitledBorder titledBorder = new TitledBorder(new EmptyBorder(1, 1, 1, 1));
    Font defaultFont = UIManager.getLookAndFeelDefaults().getFont("TitledBorder.font");
    Font titledBorderFont = titledBorder.getTitleFont();

    // check default configuration
    if (defaultFont == null) {
        if (titledBorderFont == null) {
            return;
        }
        else {
            throw new RuntimeException("TitledBorder default font should be null");
        }
    }
    if (!defaultFont.equals(titledBorderFont)) {
        throw new RuntimeException("L&F default font " + defaultFont.toString()
                                 + " differs from TitledBorder font " + titledBorderFont.toString());
    }

    // title font is explicitly specified
    Font font = new Font("Dialog", Font.PLAIN, 10);
    titledBorder.setTitleFont(font);
    if (!font.equals(titledBorder.getTitleFont())) {
        throw new RuntimeException("TitledBorder font should be " + font.toString());
    }

    // title Font is unspecified
    titledBorder.setTitleFont(null);
    if (!defaultFont.equals(titledBorder.getTitleFont())) {
        throw new RuntimeException("L&F default font " + defaultFont.toString()
                                 + " differs from TitledBorder font " + titledBorderFont.toString());
    }
}
 
源代码8 项目: PDV   文件: PDVMainClass.java
/**
 * Update spectrum
 * @param mSnSpectrum MSN spectrm
 * @param spectrumMatch Spectrum match
 */
private void updateSpectrum(MSnSpectrum mSnSpectrum, SpectrumMatch spectrumMatch) {

    String modSequence;
    SpectrumIdentificationAssumption spectrumIdentificationAssumption;

    if (spectrumMatch.getBestPeptideAssumption() != null) {
        spectrumIdentificationAssumption = spectrumMatch.getBestPeptideAssumption();
        modSequence = spectrumMatch.getBestPeptideAssumption().getPeptide().getTaggedModifiedSequence(searchParameters.getPtmSettings(), false, false, false, false);

    } else if (spectrumMatch.getBestTagAssumption() != null) {
        spectrumIdentificationAssumption = spectrumMatch.getBestTagAssumption();
        modSequence = spectrumMatch.getBestTagAssumption().getTag().getTaggedModifiedSequence(searchParameters.getPtmSettings(), false, false, true, false);
    } else {
        throw new IllegalArgumentException("No best assumption found for spectrum " + ".");
    }

    TitledBorder titledBorder = BorderFactory.createTitledBorder(modSequence + " \t ");

    titledBorder.setTitleFont(new Font("Console", Font.PLAIN, 12));

    spectrumShowJPanel.setBorder(titledBorder);

    spectrumMainPanel.updateSpectrum(spectrumIdentificationAssumption, mSnSpectrum, String.valueOf(selectedPsmKey));

    spectrumShowJPanel.revalidate();
    spectrumShowJPanel.repaint();
}
 
源代码9 项目: jdk8u_jdk   文件: Test7022041.java
/**
  * Check behaviour of method TitledBorder.getTitleFont()
  */
private static void checkTitleFont() {
    TitledBorder titledBorder = new TitledBorder(new EmptyBorder(1, 1, 1, 1));
    Font defaultFont = UIManager.getLookAndFeelDefaults().getFont("TitledBorder.font");
    Font titledBorderFont = titledBorder.getTitleFont();

    // check default configuration
    if (defaultFont == null) {
        if (titledBorderFont == null) {
            return;
        }
        else {
            throw new RuntimeException("TitledBorder default font should be null");
        }
    }
    if (!defaultFont.equals(titledBorderFont)) {
        throw new RuntimeException("L&F default font " + defaultFont.toString()
                                 + " differs from TitledBorder font " + titledBorderFont.toString());
    }

    // title font is explicitly specified
    Font font = new Font("Dialog", Font.PLAIN, 10);
    titledBorder.setTitleFont(font);
    if (!font.equals(titledBorder.getTitleFont())) {
        throw new RuntimeException("TitledBorder font should be " + font.toString());
    }

    // title Font is unspecified
    titledBorder.setTitleFont(null);
    if (!defaultFont.equals(titledBorder.getTitleFont())) {
        throw new RuntimeException("L&F default font " + defaultFont.toString()
                                 + " differs from TitledBorder font " + titledBorderFont.toString());
    }
}
 
源代码10 项目: netbeans   文件: LoadGenProfilingPoint.java
private void initComponents() {
    setLayout(new BorderLayout());

    JPanel contentsPanel = new JPanel(new BorderLayout());
    contentsPanel.setBackground(UIUtils.getProfilerResultsBackground());
    contentsPanel.setOpaque(true);
    contentsPanel.setBorder(BorderFactory.createMatteBorder(0, 15, 15, 15, UIUtils.getProfilerResultsBackground()));

    headerArea = new HTMLTextArea() {
            protected void showURL(URL url) {
                String urlString = url.toString();

                if (START_LOCATION_URLMASK.equals(urlString)) {
                    Utils.openLocation(LoadGenProfilingPoint.this.getStartLocation());
                } else if (LoadGenProfilingPoint.this.usesEndLocation()) {
                    Utils.openLocation(LoadGenProfilingPoint.this.getEndLocation());
                }
            }
        };

    JScrollPane headerAreaScrollPane = new JScrollPane(headerArea, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED,
                                                       JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
    headerAreaScrollPane.setBorder(BorderFactory.createMatteBorder(0, 0, 15, 0, UIUtils.getProfilerResultsBackground()));
    headerAreaScrollPane.setViewportBorder(BorderFactory.createEmptyBorder());
    contentsPanel.add(headerAreaScrollPane, BorderLayout.NORTH);

    dataArea = new HTMLTextArea();

    JScrollPane dataAreaScrollPane = new JScrollPane(dataArea, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED,
                                                     JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
    TitledBorder tb = new TitledBorder(Bundle.LoadGenProfilingPoint_DataString());
    tb.setTitleFont(Utils.getTitledBorderFont(tb).deriveFont(Font.BOLD));
    tb.setTitleColor(javax.swing.UIManager.getColor("Label.foreground")); // NOI18N
    dataAreaScrollPane.setBorder(tb);
    dataAreaScrollPane.setViewportBorder(BorderFactory.createEmptyBorder());
    dataAreaScrollPane.setBackground(UIUtils.getProfilerResultsBackground());
    contentsPanel.add(dataAreaScrollPane, BorderLayout.CENTER);

    add(contentsPanel, BorderLayout.CENTER);
}
 
源代码11 项目: jdk8u-jdk   文件: Test7022041.java
/**
  * Check behaviour of method TitledBorder.getTitleFont()
  */
private static void checkTitleFont() {
    TitledBorder titledBorder = new TitledBorder(new EmptyBorder(1, 1, 1, 1));
    Font defaultFont = UIManager.getLookAndFeelDefaults().getFont("TitledBorder.font");
    Font titledBorderFont = titledBorder.getTitleFont();

    // check default configuration
    if (defaultFont == null) {
        if (titledBorderFont == null) {
            return;
        }
        else {
            throw new RuntimeException("TitledBorder default font should be null");
        }
    }
    if (!defaultFont.equals(titledBorderFont)) {
        throw new RuntimeException("L&F default font " + defaultFont.toString()
                                 + " differs from TitledBorder font " + titledBorderFont.toString());
    }

    // title font is explicitly specified
    Font font = new Font("Dialog", Font.PLAIN, 10);
    titledBorder.setTitleFont(font);
    if (!font.equals(titledBorder.getTitleFont())) {
        throw new RuntimeException("TitledBorder font should be " + font.toString());
    }

    // title Font is unspecified
    titledBorder.setTitleFont(null);
    if (!defaultFont.equals(titledBorder.getTitleFont())) {
        throw new RuntimeException("L&F default font " + defaultFont.toString()
                                 + " differs from TitledBorder font " + titledBorderFont.toString());
    }
}
 
源代码12 项目: openjdk-jdk9   文件: Test7022041.java
/**
  * Check behaviour of method TitledBorder.getTitleFont()
  */
private static void checkTitleFont() {
    TitledBorder titledBorder = new TitledBorder(new EmptyBorder(1, 1, 1, 1));
    Font defaultFont = UIManager.getLookAndFeelDefaults().getFont("TitledBorder.font");
    Font titledBorderFont = titledBorder.getTitleFont();

    // check default configuration
    if (defaultFont == null) {
        if (titledBorderFont == null) {
            return;
        }
        else {
            throw new RuntimeException("TitledBorder default font should be null");
        }
    }
    if (!defaultFont.equals(titledBorderFont)) {
        throw new RuntimeException("L&F default font " + defaultFont.toString()
                                 + " differs from TitledBorder font " + titledBorderFont.toString());
    }

    // title font is explicitly specified
    Font font = new Font("Dialog", Font.PLAIN, 10);
    titledBorder.setTitleFont(font);
    if (!font.equals(titledBorder.getTitleFont())) {
        throw new RuntimeException("TitledBorder font should be " + font.toString());
    }

    // title Font is unspecified
    titledBorder.setTitleFont(null);
    if (!defaultFont.equals(titledBorder.getTitleFont())) {
        throw new RuntimeException("L&F default font " + defaultFont.toString()
                                 + " differs from TitledBorder font " + titledBorderFont.toString());
    }
}
 
源代码13 项目: PacketProxy   文件: GUIOptionPrivateDNS.java
private JPanel createPanel(JCheckBox checkBox, JTextField text) throws Exception {
	auto = new JRadioButton(I18nString.get("Auto (Replace resolved IP with local IP of suitable NIC automatically)"), true);
	auto.setMinimumSize(new Dimension(Short.MAX_VALUE, auto.getMaximumSize().height));
	auto.addActionListener(this::radioButtonChangeHandler);
	manual = new JRadioButton(I18nString.get("Manual"), false);
	manual.addActionListener(this::radioButtonChangeHandler);

	ButtonGroup rewriteGroup = new ButtonGroup();
	rewriteGroup.add(auto);
	rewriteGroup.add(manual);

	JPanel manualPanel = new JPanel();
	manualPanel.setBackground(Color.WHITE);
	manualPanel.setLayout(new BoxLayout(manualPanel, BoxLayout.X_AXIS));
	manualPanel.add(manual);
	manualPanel.add(text);

	TitledBorder rewriteRuleBorder = new TitledBorder(I18nString.get("Rewrite Rule"));
	LineBorder inborder = new LineBorder(Color.BLACK, 1);
	rewriteRuleBorder.setBorder(inborder);
	rewriteRuleBorder.setTitleFont(FontManager.getInstance().getUIFont());
	rewriteRuleBorder.setTitleJustification(TitledBorder.LEFT);
	rewriteRuleBorder.setTitlePosition(TitledBorder.TOP);

	JPanel rewriteRule = new JPanel();
	rewriteRule.setLayout(new BoxLayout(rewriteRule, BoxLayout.Y_AXIS));
	rewriteRule.setBackground(Color.WHITE);
	rewriteRule.setBorder(rewriteRuleBorder);
	rewriteRule.add(auto);
	rewriteRule.add(manualPanel);
	rewriteRule.setMaximumSize(new Dimension(rewriteRule.getPreferredSize().width, rewriteRule.getMinimumSize().height));

	JPanel panel = new JPanel();
	panel.setBackground(Color.WHITE);
	panel.setLayout(new BoxLayout(panel, BoxLayout.Y_AXIS));
	panel.add(checkBox);
	panel.add(rewriteRule);
	panel.setAlignmentX(Component.LEFT_ALIGNMENT);

	return panel;
}
 
源代码14 项目: burp-flow   文件: FlowFilterPopup.java
/**
 * Creates new form FlowTablePane
 */
public FlowFilterPopup() {
    initComponents();
    TitledBorder flowFilterByReqTypeBorder = (TitledBorder) getFlowFilterByReqType().getBorder();
    flowFilterByReqTypeBorder.setTitleFont(flowFilterByReqTypeBorder.getTitleFont().deriveFont(Font.PLAIN));

    TitledBorder flowFilterBySearchBorder = (TitledBorder) getFlowFilterBySearch().getBorder();
    flowFilterBySearchBorder.setTitleFont(flowFilterBySearchBorder.getTitleFont().deriveFont(Font.PLAIN));

    TitledBorder flowFilterBySourceBorder = (TitledBorder) getFlowFilterBySource().getBorder();
    flowFilterBySourceBorder.setTitleFont(flowFilterBySourceBorder.getTitleFont().deriveFont(Font.PLAIN));

    TitledBorder flowFilterCaptureBySourceBorder = (TitledBorder) getFlowFilterCaptureBySource().getBorder();
    flowFilterCaptureBySourceBorder.setTitleFont(flowFilterCaptureBySourceBorder.getTitleFont().deriveFont(Font.PLAIN));

    IBurpExtenderCallbacks callbacks = FlowExtension.getCallbacks();
    callbacks.customizeUiComponent(FlowFilterCaptureSourceExtender);
    callbacks.customizeUiComponent(FlowFilterCaptureSourceExtenderOnly);
    callbacks.customizeUiComponent(FlowFilterCaptureSourceIntruder);
    callbacks.customizeUiComponent(FlowFilterCaptureSourceIntruderOnly);
    callbacks.customizeUiComponent(FlowFilterCaptureSourceTarget);
    callbacks.customizeUiComponent(FlowFilterCaptureSourceTargetOnly);
    callbacks.customizeUiComponent(FlowFilterCaptureSourceProxy);
    callbacks.customizeUiComponent(FlowFilterCaptureSourceProxyOnly);
    callbacks.customizeUiComponent(FlowFilterCaptureSourceRepeater);
    callbacks.customizeUiComponent(FlowFilterCaptureSourceRepeaterOnly);
    callbacks.customizeUiComponent(FlowFilterCaptureSourceScanner);
    callbacks.customizeUiComponent(FlowFilterCaptureSourceScannerOnly);
    callbacks.customizeUiComponent(FlowFilterCaptureSourceSpider);
    callbacks.customizeUiComponent(FlowFilterCaptureSourceSpiderOnly);
    callbacks.customizeUiComponent(FlowFilterInscope);
    callbacks.customizeUiComponent(FlowFilterOutofscope);
    callbacks.customizeUiComponent(FlowFilterParametrized);
    callbacks.customizeUiComponent(FlowFilterSearchCaseSensitive);
    callbacks.customizeUiComponent(FlowFilterSearchField);
    callbacks.customizeUiComponent(FlowFilterSearchNegative);
    callbacks.customizeUiComponent(FlowFilterSearchRegex);
    callbacks.customizeUiComponent(FlowFilterSearchRequest);
    callbacks.customizeUiComponent(FlowFilterSearchResponse);
    callbacks.customizeUiComponent(FlowFilterSourceExtender);
    callbacks.customizeUiComponent(FlowFilterSourceExtenderOnly);
    callbacks.customizeUiComponent(FlowFilterSourceIntruder);
    callbacks.customizeUiComponent(FlowFilterSourceIntruderOnly);
    callbacks.customizeUiComponent(FlowFilterSourceTarget);
    callbacks.customizeUiComponent(FlowFilterSourceTargetOnly);
    callbacks.customizeUiComponent(FlowFilterSourceProxy);
    callbacks.customizeUiComponent(FlowFilterSourceProxyOnly);
    callbacks.customizeUiComponent(FlowFilterSourceRepeater);
    callbacks.customizeUiComponent(FlowFilterSourceRepeaterOnly);
    callbacks.customizeUiComponent(FlowFilterSourceScanner);
    callbacks.customizeUiComponent(FlowFilterSourceScannerOnly);
    callbacks.customizeUiComponent(FlowFilterSourceSpider);
    callbacks.customizeUiComponent(FlowFilterSourceSpiderOnly);
}
 
源代码15 项目: FoxTelem   文件: DisplayModule.java
/**
 * Create a new module and set the title.  Initialize the name and value arrays.
 * Create the GUI
 * 
 * @param title
 * @param size
 */
public DisplayModule(FoxSpacecraft fox2, String title, int size, int modType) {
	fox = fox2;
	foxId = fox.foxId;
	this.size = size;
	this.title = title;
	TitledBorder border = new TitledBorder(null, title, TitledBorder.LEADING, TitledBorder.TOP, null, null);
	scale = (double)(Config.displayModuleFontSize)/(double)(DEFAULT_FONT_SIZE);	
	//Log.println("SCALE: " + scale + " font:" +Config.displayModuleFontSize + " def: " + DEFAULT_FONT_SIZE);
	setDefaultSizes();
	moduleType = modType;
			
	if (moduleType == DISPLAY_HERCI || moduleType == DISPLAY_HERCI_HK || moduleType == DISPLAY_HERCI_MICRO_PKT) {
		border.setTitleFont(new Font("SansSerif", Font.BOLD, (int)(Config.displayModuleFontSize * 12/11)));
		border.setTitleColor(herciFontColor);
	} else if (moduleType == DISPLAY_MEASURES) {
		border.setTitleFont(new Font("SansSerif", Font.BOLD, (int)(Config.displayModuleFontSize * 12/10)));
		border.setTitleColor(vulcanFontColor);
		minValue = new JButton[size];
	} else if (moduleType >= DISPLAY_WOD) {
		border.setTitleFont(new Font("SansSerif", Font.BOLD, (int)(Config.displayModuleFontSize * 12/10)));
		border.setTitleColor(wodFontColor);
		minValue = new JButton[size];
	} else if (moduleType >= DISPLAY_VULCAN) {
		border.setTitleFont(new Font("SansSerif", Font.BOLD, (int)(Config.displayModuleFontSize * 12/10)));
		border.setTitleColor(vulcanFontColor);
	} else {
		border.setTitleFont(new Font("SansSerif", Font.BOLD, (int)(Config.displayModuleFontSize * 12/11)));	
		border.setTitleColor(Color.BLUE);
		maxValue = new JLabel[size];
		minValue = new JLabel[size];

	}
	this.setBorder(border);
	
	fieldName = new String[size]; 
	rtValue = new JLabel[size];
	label = new JLabel[size];
	row = new JPanel[size];
	graph = new GraphFrame[GraphFrame.MAX_PLOT_TYPES][size];
	display = new int[size];
	initGui();
	
}
 
源代码16 项目: PDV   文件: SinglePeptideDisplay.java
/**
 * Update spectrum
 */
private void updateSpectrum(){

    TitledBorder titledBorder = BorderFactory.createTitledBorder(peptideAssumption.getPeptide().getTaggedModifiedSequence(searchParameters.getPtmSettings(), false, false, false, false) + " \t ");
    titledBorder.setTitleFont(new Font("Console", Font.PLAIN, 12));

    spectrumShowJPanel.setBorder(titledBorder);

    SpectrumMatch spectrumMatch = new SpectrumMatch();

    spectrumMatch.setBestPeptideAssumption(peptideAssumption);

    spectrumMainPanel.updateSpectrum(spectrumMatch.getBestPeptideAssumption(), currentSpectrum, "1");

    spectrumShowJPanel.revalidate();
    spectrumShowJPanel.repaint();
}
 
源代码17 项目: WorldGrower   文件: JPanelFactory.java
private static TitledBorder createBorder(String title) {
	TitledBorder border = BorderFactory.createTitledBorder(title);
	border.setTitleColor(ColorPalette.FOREGROUND_COLOR);
	border.setTitleFont(Fonts.FONT);
	return border;
}
 
源代码18 项目: netbeans   文件: TakeSnapshotProfilingPoint.java
private void initComponents() {
    setLayout(new BorderLayout());

    JPanel contentsPanel = new JPanel(new BorderLayout());
    contentsPanel.setBackground(UIUtils.getProfilerResultsBackground());
    contentsPanel.setOpaque(true);
    contentsPanel.setBorder(BorderFactory.createMatteBorder(0, 15, 15, 15, UIUtils.getProfilerResultsBackground()));

    headerArea = new HTMLTextArea() {
            protected void showURL(URL url) {
                Utils.openLocation(TakeSnapshotProfilingPoint.this.getLocation());
            }
        };

    JScrollPane headerAreaScrollPane = new JScrollPane(headerArea, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED,
                                                       JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
    headerAreaScrollPane.setBorder(BorderFactory.createMatteBorder(0, 0, 15, 0, UIUtils.getProfilerResultsBackground()));
    headerAreaScrollPane.setViewportBorder(BorderFactory.createEmptyBorder());
    contentsPanel.add(headerAreaScrollPane, BorderLayout.NORTH);

    dataArea = new HTMLTextArea() {
            protected void showURL(URL url) {
                File resolvedFile = null;

                try {
                    resolvedFile = new File(url.toURI());
                } catch (URISyntaxException ex) {
                    ex.printStackTrace();
                }

                final File snapshotFile = resolvedFile;

                if ((snapshotFile != null) && snapshotFile.exists()) {
                    String type = TakeSnapshotProfilingPoint.this.getSnapshotType();
                    if (type.equals(TYPE_PROFDATA_KEY) || type.equals(TYPE_HEAPDUMP_KEY)) {
                        ResultsManager.getDefault().openSnapshot(snapshotFile);
                    }
                } else {
                    ProfilerDialogs.displayWarning(
                            Bundle.TakeSnapshotProfilingPoint_SnapshotNotAvailableMsg());
                }
            }
        };

    JScrollPane dataAreaScrollPane = new JScrollPane(dataArea, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED,
                                                     JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
    TitledBorder tb = new TitledBorder(Bundle.TakeSnapshotProfilingPoint_DataString());
    tb.setTitleFont(Utils.getTitledBorderFont(tb).deriveFont(Font.BOLD));
    tb.setTitleColor(javax.swing.UIManager.getColor("Label.foreground")); // NOI18N
    dataAreaScrollPane.setBorder(tb);
    dataAreaScrollPane.setViewportBorder(BorderFactory.createEmptyBorder());
    dataAreaScrollPane.setBackground(UIUtils.getProfilerResultsBackground());
    contentsPanel.add(dataAreaScrollPane, BorderLayout.CENTER);

    add(contentsPanel, BorderLayout.CENTER);
}
 
private void initComponents() {
    setLayout(new BorderLayout());

    JPanel contentsPanel = new JPanel(new BorderLayout());
    contentsPanel.setBackground(UIUtils.getProfilerResultsBackground());
    contentsPanel.setOpaque(true);
    contentsPanel.setBorder(BorderFactory.createMatteBorder(0, 15, 15, 15, UIUtils.getProfilerResultsBackground()));

    headerArea = new HTMLTextArea();

    JScrollPane headerAreaScrollPane = new JScrollPane(headerArea, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED,
                                                       JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
    headerAreaScrollPane.setBorder(BorderFactory.createMatteBorder(0, 0, 15, 0, UIUtils.getProfilerResultsBackground()));
    headerAreaScrollPane.setViewportBorder(BorderFactory.createEmptyBorder());
    contentsPanel.add(headerAreaScrollPane, BorderLayout.NORTH);

    dataArea = new HTMLTextArea() {
            protected void showURL(URL url) {
                File resolvedFile = null;

                try {
                    resolvedFile = new File(url.toURI());
                } catch (URISyntaxException ex) {
                    ex.printStackTrace();
                }

                final File snapshotFile = resolvedFile;

                if ((snapshotFile != null) && snapshotFile.exists()) {
                    String type = TriggeredTakeSnapshotProfilingPoint.this.getSnapshotType();
                    if (type.equals(TYPE_PROFDATA_KEY) || type.equals(TYPE_HEAPDUMP_KEY)) {
                        ResultsManager.getDefault().openSnapshot(snapshotFile);
                    }
                } else {
                    ProfilerDialogs.displayWarning(
                            Bundle.TriggeredTakeSnapshotProfilingPoint_SnapshotNotAvailableMsg());
                }
            }
        };

    JScrollPane dataAreaScrollPane = new JScrollPane(dataArea, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED,
                                                     JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
    TitledBorder tb = new TitledBorder(Bundle.TriggeredTakeSnapshotProfilingPoint_DataString());
    tb.setTitleFont(Utils.getTitledBorderFont(tb).deriveFont(Font.BOLD));
    tb.setTitleColor(javax.swing.UIManager.getColor("Label.foreground")); // NOI18N
    dataAreaScrollPane.setBorder(tb);
    dataAreaScrollPane.setViewportBorder(BorderFactory.createEmptyBorder());
    dataAreaScrollPane.setBackground(UIUtils.getProfilerResultsBackground());
    contentsPanel.add(dataAreaScrollPane, BorderLayout.CENTER);

    add(contentsPanel, BorderLayout.CENTER);
}
 
源代码20 项目: megabasterd   文件: MiscTools.java
public static void updateTitledBorderFont(final TitledBorder border, final Font font, final float zoom_factor) {

        Font old_title_font = border.getTitleFont();

        Font new_title_font = font.deriveFont(old_title_font.getStyle(), Math.round(old_title_font.getSize() * zoom_factor));

        border.setTitleFont(new_title_font);
    }