下面列出了javax.swing.border.TitledBorder#ABOVE_TOP 实例代码,或者点击链接到github查看源代码,也可以在右侧发表评论。
protected TitledBorderUIResource getObject() {
return new TitledBorderUIResource(
new EmptyBorder(1, 2, 3, 4),
"TITLE",
TitledBorder.CENTER,
TitledBorder.ABOVE_TOP,
new Font("Serif", Font.ITALIC, 12),
Color.RED);
}
protected TitledBorderUIResource getObject() {
return new TitledBorderUIResource(
new EmptyBorder(1, 2, 3, 4),
"TITLE",
TitledBorder.CENTER,
TitledBorder.ABOVE_TOP,
new Font("Serif", Font.ITALIC, 12),
Color.RED);
}
protected TitledBorder getObject() {
return new TitledBorder(
new EmptyBorder(1, 2, 3, 4),
"TITLE",
TitledBorder.CENTER,
TitledBorder.ABOVE_TOP,
new Font("Arial", Font.ITALIC, 12),
Color.RED);
}
protected TitledBorderUIResource getObject() {
return new TitledBorderUIResource(
new EmptyBorder(1, 2, 3, 4),
"TITLE",
TitledBorder.CENTER,
TitledBorder.ABOVE_TOP,
new Font("Serif", Font.ITALIC, 12),
Color.RED);
}
protected TitledBorderUIResource getObject() {
return new TitledBorderUIResource(
new EmptyBorder(1, 2, 3, 4),
"TITLE",
TitledBorder.CENTER,
TitledBorder.ABOVE_TOP,
new Font("Serif", Font.ITALIC, 12),
Color.RED);
}
protected TitledBorder getObject() {
return new TitledBorder(
new EmptyBorder(1, 2, 3, 4),
"TITLE",
TitledBorder.CENTER,
TitledBorder.ABOVE_TOP,
new Font("Arial", Font.ITALIC, 12),
Color.RED);
}
protected TitledBorderUIResource getObject() {
return new TitledBorderUIResource(
new EmptyBorder(1, 2, 3, 4),
"TITLE",
TitledBorder.CENTER,
TitledBorder.ABOVE_TOP,
new Font("Serif", Font.ITALIC, 12),
Color.RED);
}
protected TitledBorderUIResource getObject() {
return new TitledBorderUIResource(
new EmptyBorder(1, 2, 3, 4),
"TITLE",
TitledBorder.CENTER,
TitledBorder.ABOVE_TOP,
new Font("Serif", Font.ITALIC, 12),
Color.RED);
}
protected TitledBorderUIResource getObject() {
return new TitledBorderUIResource(
new EmptyBorder(1, 2, 3, 4),
"TITLE",
TitledBorder.CENTER,
TitledBorder.ABOVE_TOP,
new Font("Serif", Font.ITALIC, 12),
Color.RED);
}
protected TitledBorder getObject() {
return new TitledBorder(
new EmptyBorder(1, 2, 3, 4),
"TITLE",
TitledBorder.CENTER,
TitledBorder.ABOVE_TOP,
new Font("Arial", Font.ITALIC, 12),
Color.RED);
}
protected TitledBorderUIResource getObject() {
return new TitledBorderUIResource(
new EmptyBorder(1, 2, 3, 4),
"TITLE",
TitledBorder.CENTER,
TitledBorder.ABOVE_TOP,
new Font("Serif", Font.ITALIC, 12),
Color.RED);
}
protected TitledBorder getObject() {
return new TitledBorder(
new EmptyBorder(1, 2, 3, 4),
"TITLE",
TitledBorder.CENTER,
TitledBorder.ABOVE_TOP,
new Font("Arial", Font.ITALIC, 12),
Color.RED);
}
protected TitledBorder getObject() {
return new TitledBorder(
new EmptyBorder(1, 2, 3, 4),
"TITLE",
TitledBorder.CENTER,
TitledBorder.ABOVE_TOP,
new Font("Arial", Font.ITALIC, 12),
Color.RED);
}
protected TitledBorder getObject() {
return new TitledBorder(
new EmptyBorder(1, 2, 3, 4),
"TITLE",
TitledBorder.CENTER,
TitledBorder.ABOVE_TOP,
new Font("Arial", Font.ITALIC, 12),
Color.RED);
}
protected TitledBorderUIResource getObject() {
return new TitledBorderUIResource(
new EmptyBorder(1, 2, 3, 4),
"TITLE",
TitledBorder.CENTER,
TitledBorder.ABOVE_TOP,
new Font("Serif", Font.ITALIC, 12),
Color.RED);
}
protected TitledBorder getObject() {
return new TitledBorder(
new EmptyBorder(1, 2, 3, 4),
"TITLE",
TitledBorder.CENTER,
TitledBorder.ABOVE_TOP,
new Font("Arial", Font.ITALIC, 12),
Color.RED);
}
protected TitledBorder getObject() {
return new TitledBorder(
new EmptyBorder(1, 2, 3, 4),
"TITLE",
TitledBorder.CENTER,
TitledBorder.ABOVE_TOP,
new Font("Arial", Font.ITALIC, 12),
Color.RED);
}
public ClockModelsPanel(BeautiFrame parent) {
super();
this.frame = parent;
modelTableModel = new ModelTableModel();
modelTable = new JTable(modelTableModel);
modelTable.getTableHeader().setReorderingAllowed(false);
modelTable.getTableHeader().setResizingAllowed(false);
// modelTable.getTableHeader().setDefaultRenderer(
// new HeaderRenderer(SwingConstants.LEFT, new Insets(0, 4, 0, 4)));
final TableColumnModel model = modelTable.getColumnModel();
final TableColumn tableColumn0 = model.getColumn(0);
tableColumn0.setCellRenderer(new ModelsTableCellRenderer(SwingConstants.LEFT, new Insets(0, 4, 0, 4)));
TableEditorStopper.ensureEditingStopWhenTableLosesFocus(modelTable);
modelTable.getSelectionModel().setSelectionMode(ListSelectionModel.MULTIPLE_INTERVAL_SELECTION);
modelTable.getSelectionModel().addListSelectionListener(new ListSelectionListener() {
public void valueChanged(ListSelectionEvent evt) {
selectionChanged();
}
});
JScrollPane scrollPane = new JScrollPane(modelTable,
JScrollPane.VERTICAL_SCROLLBAR_ALWAYS, JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
scrollPane.setOpaque(false);
// ActionPanel actionPanel1 = new ActionPanel(false);
// actionPanel1.setAddAction(addModelAction);
// actionPanel1.setRemoveAction(removeModelAction);
JPanel controlPanel1 = new JPanel(new FlowLayout(FlowLayout.LEFT));
controlPanel1.setOpaque(false);
// controlPanel1.add(actionPanel1);
JPanel panel = new JPanel(new BorderLayout(0, 0));
panel.setOpaque(false);
panel.add(scrollPane, BorderLayout.CENTER);
// panel.add(controlPanel1, BorderLayout.SOUTH);
panel.setMinimumSize(new Dimension(MINIMUM_TABLE_WIDTH, 0));
JToolBar toolBar = new JToolBar();
toolBar.setFloatable(false);
toolBar.setOpaque(false);
toolBar.setBorder(BorderFactory.createEmptyBorder());
toolBar.setLayout(new FlowLayout(java.awt.FlowLayout.LEFT, 0, 0));
JButton button = new JButton(cloneModelsAction);
PanelUtils.setupComponent(button);
toolBar.add(button);
panel.add(toolBar, BorderLayout.SOUTH);
modelPanelParent = new JPanel(new FlowLayout(FlowLayout.CENTER));
modelPanelParent.setOpaque(false);
modelBorder = new TitledBorder(null, "Clock Model", TitledBorder.DEFAULT_JUSTIFICATION, TitledBorder.ABOVE_TOP);
modelPanelParent.setBorder(modelBorder);
setCurrentModel(null);
JScrollPane scrollPane2 = new JScrollPane(modelPanelParent, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED, JScrollPane.HORIZONTAL_SCROLLBAR_NEVER);
scrollPane2.setOpaque(false);
scrollPane2.setBorder(null);
scrollPane2.getViewport().setOpaque(false);
JSplitPane splitPane = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT, panel, scrollPane2);
splitPane.setDividerLocation(MINIMUM_TABLE_WIDTH);
splitPane.setContinuousLayout(true);
splitPane.setBorder(BorderFactory.createEmptyBorder());
splitPane.setOpaque(false);
setOpaque(false);
setBorder(new BorderUIResource.EmptyBorderUIResource(new Insets(12, 12, 12, 12)));
setLayout(new BorderLayout(0, 0));
add(splitPane, BorderLayout.CENTER);
}
public TreesPanel(BeautiFrame parent, Action removeTreeAction) {
super();
this.frame = parent;
treesTableModel = new TreesTableModel();
treesTable = new JTable(treesTableModel);
treesTable.getTableHeader().setReorderingAllowed(false);
treesTable.getTableHeader().setResizingAllowed(false);
// treesTable.getTableHeader().setDefaultRenderer(
// new HeaderRenderer(SwingConstants.LEFT, new Insets(0, 4, 0, 4)));
final TableColumnModel model = treesTable.getColumnModel();
final TableColumn tableColumn0 = model.getColumn(0);
tableColumn0.setCellRenderer(new ModelsTableCellRenderer(SwingConstants.LEFT, new Insets(0, 4, 0, 4)));
TableEditorStopper.ensureEditingStopWhenTableLosesFocus(treesTable);
treesTable.getSelectionModel().setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
treesTable.getSelectionModel().addListSelectionListener(new ListSelectionListener() {
public void valueChanged(ListSelectionEvent evt) {
selectionChanged();
}
});
JScrollPane scrollPane = new JScrollPane(treesTable,
JScrollPane.VERTICAL_SCROLLBAR_ALWAYS,
JScrollPane.HORIZONTAL_SCROLLBAR_NEVER);
scrollPane.setOpaque(false);
JPanel controlPanel1 = new JPanel(new FlowLayout(FlowLayout.LEFT));
controlPanel1.setOpaque(false);
setCurrentModelAndPrior(null);
JPanel panel1 = new JPanel(new BorderLayout(0, 0));
panel1.setOpaque(false);
panel1.add(scrollPane, BorderLayout.CENTER);
treeModelPanelParent = new JPanel(new FlowLayout(FlowLayout.LEFT));
treeModelPanelParent.setOpaque(false);
treeModelBorder = new TitledBorder(null, "Tree Model", TitledBorder.DEFAULT_JUSTIFICATION, TitledBorder.ABOVE_TOP);
treeModelPanelParent.setBorder(treeModelBorder);
JScrollPane scrollPane2 = new JScrollPane(treeModelPanelParent, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED, JScrollPane.HORIZONTAL_SCROLLBAR_NEVER);
scrollPane2.setOpaque(false);
scrollPane2.setBorder(null);
scrollPane2.getViewport().setOpaque(false);
treePriorPanelParent = new JPanel(new FlowLayout(FlowLayout.LEFT));
treePriorPanelParent.setOpaque(false);
treePriorBorder = new TitledBorder(null, "Tree Prior", TitledBorder.DEFAULT_JUSTIFICATION, TitledBorder.ABOVE_TOP);
treePriorPanelParent.setBorder(treePriorBorder);
JPanel panel3 = new JPanel(new FlowLayout(FlowLayout.LEFT));
panel3.setOpaque(false);
linkTreePriorCheck.setEnabled(false);
linkTreePriorCheck.setSelected(true);
linkTreePriorCheck.addItemListener(new ItemListener() {
public void itemStateChanged(ItemEvent ev) {
updateShareSameTreePriorChanged();
}
});
linkTreePriorCheck.setToolTipText("Decide whether to use one tree prior for all trees");
panel3.add(linkTreePriorCheck);
JPanel panel4 = new JPanel(new BorderLayout());
panel4.setOpaque(false);
panel4.add(treePriorPanelParent, BorderLayout.NORTH);
panel4.add(scrollPane2, BorderLayout.CENTER);
JSplitPane splitPane = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT, panel1, panel4);
splitPane.setDividerLocation(180);
splitPane.setContinuousLayout(true);
splitPane.setBorder(BorderFactory.createEmptyBorder());
splitPane.setOpaque(false);
setOpaque(false);
setLayout(new BorderLayout(0, 0));
setBorder(new BorderUIResource.EmptyBorderUIResource(new Insets(12, 12, 12, 12)));
add(panel3, BorderLayout.NORTH);
add(splitPane, BorderLayout.CENTER);
}
public SiteModelsPanel(final BeautiFrame frame, Action removeModelAction) {
super();
this.frame = frame;
modelTableModel = new ModelTableModel();
modelTable = new JTable(modelTableModel);
modelTable.getTableHeader().setReorderingAllowed(false);
modelTable.getTableHeader().setResizingAllowed(false);
// modelTable.getTableHeader().setDefaultRenderer(
// new HeaderRenderer(SwingConstants.LEFT, new Insets(0, 4, 0, 4)));
final TableColumnModel model = modelTable.getColumnModel();
final TableColumn tableColumn0 = model.getColumn(0);
tableColumn0.setCellRenderer(new ModelsTableCellRenderer(SwingConstants.LEFT, new Insets(0, 4, 0, 4)));
TableEditorStopper.ensureEditingStopWhenTableLosesFocus(modelTable);
modelTable.getSelectionModel().setSelectionMode(ListSelectionModel.MULTIPLE_INTERVAL_SELECTION);
modelTable.getSelectionModel().addListSelectionListener(new ListSelectionListener() {
public void valueChanged(ListSelectionEvent evt) {
selectionChanged();
}
});
JScrollPane scrollPane = new JScrollPane(modelTable,
JScrollPane.VERTICAL_SCROLLBAR_ALWAYS, JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
scrollPane.setOpaque(false);
// ActionPanel actionPanel1 = new ActionPanel(false);
// actionPanel1.setAddAction(addModelAction);
// actionPanel1.setRemoveAction(removeModelAction);
JPanel controlPanel1 = new JPanel(new FlowLayout(FlowLayout.LEFT));
controlPanel1.setOpaque(false);
// controlPanel1.add(actionPanel1);
JPanel panel = new JPanel(new BorderLayout(0, 0));
panel.setOpaque(false);
panel.add(scrollPane, BorderLayout.CENTER);
// panel.add(controlPanel1, BorderLayout.SOUTH);
panel.setMinimumSize(new Dimension(MINIMUM_TABLE_WIDTH, 0));
JToolBar toolBar = new JToolBar();
toolBar.setFloatable(false);
toolBar.setOpaque(false);
toolBar.setBorder(BorderFactory.createEmptyBorder());
toolBar.setLayout(new FlowLayout(java.awt.FlowLayout.LEFT, 0, 0));
JButton button = new JButton(cloneModelsAction);
PanelUtils.setupComponent(button);
toolBar.add(button);
panel.add(toolBar, BorderLayout.SOUTH);
modelPanelParent = new JPanel(new FlowLayout(FlowLayout.CENTER));
modelPanelParent.setOpaque(false);
modelBorder = new TitledBorder(null, "Substitution Model", TitledBorder.DEFAULT_JUSTIFICATION, TitledBorder.ABOVE_TOP);
modelPanelParent.setBorder(modelBorder);
setCurrentModel(null);
JScrollPane scrollPane2 = new JScrollPane(modelPanelParent, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED, JScrollPane.HORIZONTAL_SCROLLBAR_NEVER);
scrollPane2.setOpaque(false);
scrollPane2.setBorder(null);
scrollPane2.getViewport().setOpaque(false);
JSplitPane splitPane = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT, panel, scrollPane2);
splitPane.setDividerLocation(MINIMUM_TABLE_WIDTH);
splitPane.setContinuousLayout(true);
splitPane.setBorder(BorderFactory.createEmptyBorder());
splitPane.setOpaque(false);
setOpaque(false);
setBorder(new BorderUIResource.EmptyBorderUIResource(new Insets(12, 12, 12, 12)));
setLayout(new BorderLayout(0, 0));
add(splitPane, BorderLayout.CENTER);
}