public NetworkTable(Properties display) {
this.display = display;
model =
new GenericTableModel(
new String[] {" ", "Address", "Label", "Description", "Pivot"}, "Address", 256);
table = new ATable(model);
TableRowSorter sorter = new TableRowSorter(model);
sorter.toggleSortOrder(1);
Comparator hostCompare =
new Comparator() {
public int compare(Object a, Object b) {
long aa = Route.ipToLong(a + "");
long bb = Route.ipToLong(b + "");
if (aa > bb) {
return 1;
} else if (aa < bb) {
return -1;
} else {
return 0;
}
}
public boolean equals(Object a, Object b) {
return (a + "").equals(b + "");
}
};
sorter.setComparator(1, hostCompare);
sorter.setComparator(4, hostCompare);
table.setRowSorter(sorter);
table.setColumnSelectionAllowed(false);
table.getColumn("Address").setPreferredWidth(125);
table.getColumn("Label").setPreferredWidth(125);
table.getColumn("Pivot").setPreferredWidth(125);
table.getColumn(" ").setPreferredWidth(32);
table.getColumn(" ").setMaxWidth(32);
table.getColumn("Description").setPreferredWidth(500);
final TableCellRenderer parent = table.getDefaultRenderer(Object.class);
table.setDefaultRenderer(
Object.class,
new TableCellRenderer() {
public Component getTableCellRendererComponent(
JTable table, Object value, boolean isSelected, boolean hasFocus, int row, int col) {
JLabel component =
(JLabel)
parent.getTableCellRendererComponent(table, value, isSelected, false, row, col);
if (col == 4 && Boolean.TRUE.equals(model.getValueAt(table, row, "Active"))) {
component.setFont(component.getFont().deriveFont(Font.BOLD));
} else if (col == 1 && !"".equals(model.getValueAt(table, row, "Description"))) {
component.setFont(component.getFont().deriveFont(Font.BOLD));
} else {
component.setFont(component.getFont().deriveFont(Font.PLAIN));
}
String tip = model.getValueAt(table, row, "Tooltip") + "";
if (tip.length() > 0) {
component.setToolTipText(tip);
}
return component;
}
});
table
.getColumn(" ")
.setCellRenderer(
new TableCellRenderer() {
public Component getTableCellRendererComponent(
JTable table,
Object value,
boolean isSelected,
boolean hasFocus,
int row,
int col) {
JLabel component =
(JLabel)
parent.getTableCellRendererComponent(
table, value, isSelected, false, row, col);
component.setIcon(new ImageIcon((Image) model.getValueAt(table, row, "Image")));
component.setText("");
String tip = model.getValueAt(table, row, "Tooltip") + "";
if (tip.length() > 0) {
component.setToolTipText(tip);
}
return component;
}
});
table.addMouseListener(
new MouseAdapter() {
public void all(MouseEvent ev) {
if (ev.isPopupTrigger()) {
popup.showGraphPopup(getSelectedHosts(), ev);
ev.consume();
}
}
public void mouseClicked(MouseEvent ev) {
all(ev);
}
public void mousePressed(MouseEvent ev) {
all(ev);
}
public void mouseReleased(MouseEvent ev) {
all(ev);
}
});
setLayout(new BorderLayout());
scroller = new JScrollPane(table);
add(scroller, BorderLayout.CENTER);
}
// {{{ 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);
}
} // }}}