// Initializes this component.
private void jbInit() {
segmentTable.addFocusListener(
new FocusListener() {
public void focusGained(FocusEvent e) {
segmentTable_focusGained(e);
}
public void focusLost(FocusEvent e) {
segmentTable_focusLost(e);
}
});
segmentTable.setTableHeader(null);
scrollPane = new JScrollPane(segmentTable);
scrollPane.setMinimumSize(new Dimension(getTableWidth(), 0));
setLayout(new BorderLayout(0, 0));
determineColumnWidth();
nameLbl.setPreferredSize(new Dimension(getTableWidth(), 25));
nameLbl.setMinimumSize(new Dimension(getTableWidth(), 0));
nameLbl.setFont(Utilities.labelsFont);
segmentTable.setFont(Utilities.valueFont);
setBorder(BorderFactory.createEtchedBorder());
setMinimumSize(new Dimension(getTableWidth(), 0));
this.add(nameLbl, BorderLayout.NORTH);
this.add(scrollPane, BorderLayout.CENTER);
}
// Initializing this component.
private void jbInit() {
callStackTable.addFocusListener(
new FocusListener() {
public void focusGained(FocusEvent e) {
callStackTable_focusGained(e);
}
public void focusLost(FocusEvent e) {
callStackTable_focusLost(e);
}
});
callStackTable.setTableHeader(null);
callStackTable.setDefaultRenderer(callStackTable.getColumnClass(0), getCellRenderer());
scrollPane = new JScrollPane(callStackTable);
setVisibleRows(DEFAULT_VISIBLE_ROWS);
scrollPane.setLocation(0, 27);
setBorder(BorderFactory.createEtchedBorder());
// this.setLayout(null);
this.setLayout(new GridBagLayout());
nameLbl.setText("Call Stack");
nameLbl.setBounds(new Rectangle(3, 4, 70, 23));
nameLbl.setFont(Utilities.labelsFont);
GridBagConstraints c = new GridBagConstraints();
c.fill = GridBagConstraints.BOTH;
c.ipadx = 0;
c.ipady = 0;
c.weightx = 1;
c.weighty = 1;
c.gridwidth = 7;
c.gridheight = 1;
c.anchor = GridBagConstraints.PAGE_END;
c.gridx = 0;
c.gridy = 2;
this.add(scrollPane, c);
c.fill = GridBagConstraints.HORIZONTAL;
c.ipadx = 0;
c.ipady = 0;
c.weightx = 1;
c.weighty = 0.0;
c.gridwidth = 3;
c.gridheight = 1;
c.anchor = GridBagConstraints.FIRST_LINE_START;
c.gridx = 0;
c.gridy = 0;
c.insets = new Insets(5, 0, 0, 0);
this.add(nameLbl, c);
}
// {{{ InstallPanel constructor
InstallPanel(PluginManager window, boolean updates) {
super(new BorderLayout(12, 12));
this.window = window;
this.updates = updates;
setBorder(new EmptyBorder(12, 12, 12, 12));
final JSplitPane split = new JSplitPane(JSplitPane.VERTICAL_SPLIT);
split.setResizeWeight(0.75);
/* Setup the table */
table = new JTable(pluginModel = new PluginTableModel());
table.setShowGrid(false);
table.setIntercellSpacing(new Dimension(0, 0));
table.setRowHeight(table.getRowHeight() + 2);
table.setPreferredScrollableViewportSize(new Dimension(500, 200));
table.setDefaultRenderer(
Object.class,
new TextRenderer((DefaultTableCellRenderer) table.getDefaultRenderer(Object.class)));
table.addFocusListener(new TableFocusHandler());
InputMap tableInputMap = table.getInputMap(JComponent.WHEN_FOCUSED);
ActionMap tableActionMap = table.getActionMap();
tableInputMap.put(KeyStroke.getKeyStroke(KeyEvent.VK_TAB, 0), "tabOutForward");
tableActionMap.put("tabOutForward", new KeyboardAction(KeyboardCommand.TAB_OUT_FORWARD));
tableInputMap.put(KeyStroke.getKeyStroke(KeyEvent.VK_TAB, InputEvent.SHIFT_MASK), "tabOutBack");
tableActionMap.put("tabOutBack", new KeyboardAction(KeyboardCommand.TAB_OUT_BACK));
tableInputMap.put(KeyStroke.getKeyStroke(KeyEvent.VK_SPACE, 0), "editPlugin");
tableActionMap.put("editPlugin", new KeyboardAction(KeyboardCommand.EDIT_PLUGIN));
tableInputMap.put(KeyStroke.getKeyStroke(KeyEvent.VK_ENTER, 0), "closePluginManager");
tableActionMap.put(
"closePluginManager", new KeyboardAction(KeyboardCommand.CLOSE_PLUGIN_MANAGER));
TableColumn col1 = table.getColumnModel().getColumn(0);
TableColumn col2 = table.getColumnModel().getColumn(1);
TableColumn col3 = table.getColumnModel().getColumn(2);
TableColumn col4 = table.getColumnModel().getColumn(3);
TableColumn col5 = table.getColumnModel().getColumn(4);
col1.setPreferredWidth(30);
col1.setMinWidth(30);
col1.setMaxWidth(30);
col1.setResizable(false);
col2.setPreferredWidth(180);
col3.setPreferredWidth(130);
col4.setPreferredWidth(70);
col5.setPreferredWidth(70);
JTableHeader header = table.getTableHeader();
header.setReorderingAllowed(false);
header.addMouseListener(new HeaderMouseHandler());
header.setDefaultRenderer(
new HeaderRenderer((DefaultTableCellRenderer) header.getDefaultRenderer()));
scrollpane = new JScrollPane(table);
scrollpane.getViewport().setBackground(table.getBackground());
split.setTopComponent(scrollpane);
/* Create description */
JScrollPane infoPane = new JScrollPane(infoBox = new PluginInfoBox());
infoPane.setPreferredSize(new Dimension(500, 100));
split.setBottomComponent(infoPane);
EventQueue.invokeLater(
new Runnable() {
@Override
public void run() {
split.setDividerLocation(0.75);
}
});
final JTextField searchField = new JTextField();
searchField.addKeyListener(
new KeyAdapter() {
@Override
public void keyPressed(KeyEvent e) {
if (e.getKeyCode() == KeyEvent.VK_DOWN || e.getKeyCode() == KeyEvent.VK_UP) {
table.dispatchEvent(e);
table.requestFocus();
}
}
});
searchField
.getDocument()
.addDocumentListener(
new DocumentListener() {
void update() {
pluginModel.setFilterString(searchField.getText());
}
@Override
public void changedUpdate(DocumentEvent e) {
update();
}
@Override
public void insertUpdate(DocumentEvent e) {
update();
}
@Override
public void removeUpdate(DocumentEvent e) {
update();
}
});
table.addKeyListener(
new KeyAdapter() {
@Override
public void keyPressed(KeyEvent e) {
int i = table.getSelectedRow(), n = table.getModel().getRowCount();
if (e.getKeyCode() == KeyEvent.VK_DOWN && i == (n - 1)
|| e.getKeyCode() == KeyEvent.VK_UP && i == 0) {
searchField.requestFocus();
searchField.selectAll();
}
}
});
Box filterBox = Box.createHorizontalBox();
filterBox.add(new JLabel("Filter : "));
filterBox.add(searchField);
add(BorderLayout.NORTH, filterBox);
add(BorderLayout.CENTER, split);
/* Create buttons */
Box buttons = new Box(BoxLayout.X_AXIS);
buttons.add(new InstallButton());
buttons.add(Box.createHorizontalStrut(12));
buttons.add(new SelectallButton());
buttons.add(chooseButton = new ChoosePluginSet());
buttons.add(new ClearPluginSet());
buttons.add(Box.createGlue());
buttons.add(new SizeLabel());
add(BorderLayout.SOUTH, buttons);
String path = jEdit.getProperty(PluginManager.PROPERTY_PLUGINSET, "");
if (!path.isEmpty()) {
loadPluginSet(path);
}
} // }}}