// {{{ updateMultiStatus() method
private void updateMultiStatus() {
if (multiStatus)
multi.setIcon(
GUIUtilities.loadIcon(jEdit.getProperty("hypersearch-results.multi.multiple.icon")));
else
multi.setIcon(
GUIUtilities.loadIcon(jEdit.getProperty("hypersearch-results.multi.single.icon")));
} // }}}
// {{{ updateHighlightStatus() method
private void updateHighlightStatus() {
String prop = jEdit.getProperty(HIGHLIGHT_PROP);
if (prop != null && !prop.isEmpty())
highlight.setIcon(
GUIUtilities.loadIcon(jEdit.getProperty("hypersearch-results.match.highlight.icon")));
else
highlight.setIcon(
GUIUtilities.loadIcon(jEdit.getProperty("hypersearch-results.match.normal.icon")));
resultTree.repaint();
} // }}}
public ActionBar(View view, boolean temp) {
setLayout(new BoxLayout(this, BoxLayout.X_AXIS));
this.view = view;
this.temp = temp;
add(Box.createHorizontalStrut(2));
JLabel label = new JLabel(jEdit.getProperty("view.action.prompt"));
add(label);
add(Box.createHorizontalStrut(12));
add(action = new ActionTextField());
action.setEnterAddsToHistory(false);
Dimension max = action.getPreferredSize();
max.width = Integer.MAX_VALUE;
action.setMaximumSize(max);
action.addActionListener(new ActionHandler());
action.getDocument().addDocumentListener(new DocumentHandler());
if (temp) {
close = new RolloverButton(GUIUtilities.loadIcon("closebox.gif"));
close.addActionListener(new ActionHandler());
close.setToolTipText(jEdit.getProperty("view.action.close-tooltip"));
add(close);
}
this.temp = temp;
}
private AbstractButton makeCustomButton(String name, ActionListener listener) {
String toolTip = jEdit.getProperty(name.concat(".label"));
AbstractButton b = new RolloverButton(GUIUtilities.loadIcon(jEdit.getProperty(name + ".icon")));
if (listener != null) {
b.addActionListener(listener);
b.setEnabled(true);
} else {
b.setEnabled(false);
}
b.setToolTipText(toolTip);
return b;
}
// NOTE used in scripts
public static ImageIcon loadIcon(String path) {
if (path != null && path.endsWith(".icon")) path = getProperty(path);
if (nullOrEmpty(path)) return null;
try {
if (path.startsWith("/")) return iconFrom(path);
else if (!insideJEdit()) {
path = pathCombine("/org/gjt/sp/jedit/icons/themes/tango", path);
return iconFrom(path);
} else return (ImageIcon) GUIUtilities.loadIcon(path);
} catch (Exception e) {
path = "/org/gjt/sp/jedit/icons/themes/tango/22x22/emblems/emblem-unreadable.png";
return iconFrom(path);
}
}
// {{{ ClearPluginSet constructor
ClearPluginSet() {
setIcon(GUIUtilities.loadIcon(jEdit.getProperty("install-plugins.clear-plugin-set.icon")));
setToolTipText("clear plugin set");
addActionListener(this);
} // }}}
// {{{ ChoosePluginSet constructor
ChoosePluginSet() {
setIcon(GUIUtilities.loadIcon(jEdit.getProperty("install-plugins.choose-plugin-set.icon")));
addActionListener(this);
updateUI();
} // }}}
/** @version $Id: InstallPanel.java 20362 2011-11-17 08:23:36Z kpouer $ */
class InstallPanel extends JPanel implements EBComponent {
// {{{ Variables
private final JTable table;
private final JScrollPane scrollpane;
private final PluginTableModel pluginModel;
private final PluginManager window;
private final PluginInfoBox infoBox;
private final ChoosePluginSet chooseButton;
private final boolean updates;
private final Collection<String> pluginSet = new HashSet<String>();
// }}}
// {{{ 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);
}
} // }}}
// {{{ loadPluginSet() method
/**
* loads a pluginSet xml file and updates the model to reflect certain checked selections
*
* @since jEdit 4.3pre10
* @author Alan Ezust
*/
boolean loadPluginSet(String path) {
pluginSet.clear();
pluginModel.restoreSelection(new HashSet<String>(), new HashSet<String>());
VFS vfs = VFSManager.getVFSForPath(path);
Object session = vfs.createVFSSession(path, InstallPanel.this);
try {
InputStream is = vfs._createInputStream(session, path, false, InstallPanel.this);
XMLUtilities.parseXML(is, new StringMapHandler());
} catch (Exception e) {
Log.log(Log.WARNING, this, "Loading Pluginset failed:" + e.getMessage());
return false;
}
pluginModel.update();
return true;
} // }}}
// {{{ updateModel() method
public void updateModel() {
final Set<String> savedChecked = new HashSet<String>();
final Set<String> savedSelection = new HashSet<String>();
pluginModel.saveSelection(savedChecked, savedSelection);
pluginModel.clear();
infoBox.setText(jEdit.getProperty("plugin-manager.list-download"));
ThreadUtilities.runInDispatchThread(
new Runnable() {
@Override
public void run() {
infoBox.setText(null);
pluginModel.update();
pluginModel.restoreSelection(savedChecked, savedSelection);
}
});
} // }}}
// {{{ handleMessage() method
@Override
public void handleMessage(EBMessage message) {
if (message.getSource() == PluginManager.getInstance()) {
chooseButton.path = jEdit.getProperty(PluginManager.PROPERTY_PLUGINSET, "");
if (chooseButton.path.length() > 0) {
loadPluginSet(chooseButton.path);
pluginModel.restoreSelection(new HashSet<String>(), new HashSet<String>());
chooseButton.updateUI();
}
}
} // }}}
// {{{ Private members
// {{{ formatSize() method
private static String formatSize(int size) {
NumberFormat df = NumberFormat.getInstance();
df.setMaximumFractionDigits(1);
df.setMinimumFractionDigits(0);
String sizeText;
if (size < 1048576) sizeText = (size >> 10) + "KB";
else sizeText = df.format(size / 1048576.0d) + "MB";
return sizeText;
} // }}}
// }}}
// {{{ Inner classes
// {{{ PluginTableModel class
private class PluginTableModel extends AbstractTableModel {
/** This List can contain String or Entry. */
private final List entries = new ArrayList();
private final List filteredEntries = new ArrayList();
private int sortType = EntryCompare.COLUMN_NAME;
private String filterString;
int sortDirection = 1;
// {{{ setFilterString() method
public void setFilterString(String filterString) {
this.filterString = filterString;
updateFilteredEntries();
} // }}}
// {{{ updateFilteredEntries() method
void updateFilteredEntries() {
filteredEntries.clear();
if (filterString == null) filteredEntries.addAll(entries);
else {
String[] words = filterString.toLowerCase().split("\\s+");
for (Object o : entries) {
if (!(o instanceof Entry)) continue;
Entry e = (Entry) o;
if (e.install) {
filteredEntries.add(e);
continue;
}
String s = (e.name + ' ' + e.set + ' ' + e.description).toLowerCase();
boolean hasAll = true;
boolean negative = false;
for (String word : words) {
if (word.startsWith("-")) {
word = word.substring(1);
negative = true;
}
if (word.length() == 0) continue;
if (negative == s.contains(word)) {
hasAll = false;
break;
}
negative = false;
}
if (hasAll) filteredEntries.add(e);
}
}
fireTableChanged(new TableModelEvent(PluginTableModel.this));
} // }}}
// {{{ getColumnClass() method
@Override
public Class getColumnClass(int columnIndex) {
switch (columnIndex) {
case 0:
return Boolean.class;
case 1:
case 2:
case 3:
case 4:
case 5:
return Object.class;
default:
throw new Error("Column out of range");
}
} // }}}
// {{{ getColumnCount() method
@Override
public int getColumnCount() {
return 6;
} // }}}
// {{{ getColumnName() method
@Override
public String getColumnName(int column) {
switch (column) {
case 0:
return " ";
case 1:
return ' ' + jEdit.getProperty("install-plugins.info.name");
case 2:
return ' ' + jEdit.getProperty("install-plugins.info.category");
case 3:
return ' ' + jEdit.getProperty("install-plugins.info.version");
case 4:
return ' ' + jEdit.getProperty("install-plugins.info.size");
case 5:
return ' ' + jEdit.getProperty("install-plugins.info.releaseDate");
default:
throw new Error("Column out of range");
}
} // }}}
// {{{ getRowCount() method
@Override
public int getRowCount() {
return filteredEntries.size();
} // }}}
// {{{ getValueAt() method
@Override
public Object getValueAt(int rowIndex, int columnIndex) {
Object obj = filteredEntries.get(rowIndex);
if (obj instanceof String) {
if (columnIndex == 1) return obj;
else return null;
} else {
Entry entry = (Entry) obj;
switch (columnIndex) {
case 0:
return entry.install;
case 1:
return entry.name;
case 2:
return entry.set;
case 3:
if (updates) return entry.installedVersion + "->" + entry.version;
return entry.version;
case 4:
return formatSize(entry.size);
case 5:
return entry.date;
default:
throw new Error("Column out of range");
}
}
} // }}}
// {{{ isCellEditable() method
@Override
public boolean isCellEditable(int rowIndex, int columnIndex) {
return columnIndex == 0;
} // }}}
// {{{ setSelectAll() method
public void setSelectAll(boolean b) {
if (isDownloadingList()) return;
int length = getRowCount();
for (int i = 0; i < length; i++) {
if (b) setValueAt(Boolean.TRUE, i, 0);
else {
Entry entry = (Entry) filteredEntries.get(i);
entry.parents = new LinkedList<Entry>();
entry.install = false;
}
}
fireTableChanged(new TableModelEvent(this));
} // }}}
// {{{ setSortType() method
public void setSortType(int type) {
sortType = type;
sort(type);
} // }}}
// {{{ deselectParents() method
private void deselectParents(Entry entry) {
Entry[] parents = entry.getParents();
if (parents.length == 0) return;
String[] args = {entry.name};
int result = GUIUtilities.listConfirm(window, "plugin-manager.dependency", args, parents);
if (result != JOptionPane.OK_OPTION) {
entry.install = true;
return;
}
for (int i = 0; i < parents.length; i++) parents[i].install = false;
fireTableRowsUpdated(0, getRowCount() - 1);
} // }}}
// {{{ setValueAt() method
@Override
public void setValueAt(Object aValue, int row, int column) {
if (column != 0) return;
Object obj = filteredEntries.get(row);
if (obj instanceof String) return;
Entry entry = (Entry) obj;
boolean before = entry.install;
entry.install = Boolean.TRUE.equals(aValue);
if (before == entry.install) return;
if (!entry.install) deselectParents(entry);
List<PluginList.Dependency> deps = entry.plugin.getCompatibleBranch().deps;
for (int i = 0; i < deps.size(); i++) {
PluginList.Dependency dep = deps.get(i);
if ("plugin".equals(dep.what)) {
boolean found = false;
for (int j = 0; j < filteredEntries.size(); j++) {
Entry temp = (Entry) filteredEntries.get(j);
if (temp.plugin == dep.plugin) {
found = true;
if (entry.install) {
temp.parents.add(entry);
setValueAt(Boolean.TRUE, j, 0);
} else temp.parents.remove(entry);
break;
}
}
if (!found) {
// the dependency was not found in the filtered list so we search in
// global list.
for (int a = 0; a < entries.size(); a++) {
Entry temp = (Entry) entries.get(a);
if (temp.plugin == dep.plugin) {
if (entry.install) {
temp.parents.add(entry);
temp.install = true;
} else temp.parents.remove(entry);
break;
}
}
}
}
}
updateFilteredEntries();
} // }}}
// {{{ sort() method
public void sort(int type) {
Set<String> savedChecked = new HashSet<String>();
Set<String> savedSelection = new HashSet<String>();
saveSelection(savedChecked, savedSelection);
if (sortType != type) {
sortDirection = 1;
}
sortType = type;
if (isDownloadingList()) return;
Collections.sort(entries, new EntryCompare(type, sortDirection));
updateFilteredEntries();
restoreSelection(savedChecked, savedSelection);
table.getTableHeader().repaint();
}
// }}}
// {{{ isDownloadingList() method
private boolean isDownloadingList() {
return entries.size() == 1 && entries.get(0) instanceof String;
} // }}}
// {{{ clear() method
public void clear() {
entries.clear();
updateFilteredEntries();
} // }}}
// {{{ update() method
public void update() {
Set<String> savedChecked = new HashSet<String>();
Set<String> savedSelection = new HashSet<String>();
saveSelection(savedChecked, savedSelection);
PluginList pluginList = window.getPluginList();
if (pluginList == null) return;
entries.clear();
for (int i = 0; i < pluginList.pluginSets.size(); i++) {
PluginList.PluginSet set = pluginList.pluginSets.get(i);
for (int j = 0; j < set.plugins.size(); j++) {
PluginList.Plugin plugin = pluginList.pluginHash.get(set.plugins.get(j));
PluginList.Branch branch = plugin.getCompatibleBranch();
String installedVersion = plugin.getInstalledVersion();
if (updates) {
if (branch != null
&& branch.canSatisfyDependencies()
&& installedVersion != null
&& StandardUtilities.compareStrings(branch.version, installedVersion, false) > 0) {
entries.add(new Entry(plugin, set.name));
}
} else {
if (installedVersion == null && plugin.canBeInstalled())
entries.add(new Entry(plugin, set.name));
}
}
}
sort(sortType);
updateFilteredEntries();
restoreSelection(savedChecked, savedSelection);
} // }}}
// {{{ saveSelection() method
public void saveSelection(Set<String> savedChecked, Set<String> savedSelection) {
if (entries.isEmpty()) return;
for (int i = 0, c = getRowCount(); i < c; i++) {
if ((Boolean) getValueAt(i, 0)) {
savedChecked.add(filteredEntries.get(i).toString());
}
}
int[] rows = table.getSelectedRows();
for (int i = 0; i < rows.length; i++) {
savedSelection.add(filteredEntries.get(rows[i]).toString());
}
} // }}}
// {{{ restoreSelection() method
public void restoreSelection(Set<String> savedChecked, Set<String> savedSelection) {
for (int i = 0, c = getRowCount(); i < c; i++) {
Object obj = filteredEntries.get(i);
String name = obj.toString();
if (obj instanceof Entry) {
name = ((Entry) obj).plugin.jar;
}
if (pluginSet.contains(name)) setValueAt(true, i, 0);
else setValueAt(savedChecked.contains(name), i, 0);
}
if (table == null) return;
table.setColumnSelectionInterval(0, 0);
if (!savedSelection.isEmpty()) {
int i = 0;
int rowCount = getRowCount();
for (; i < rowCount; i++) {
String name = filteredEntries.get(i).toString();
if (savedSelection.contains(name)) {
table.setRowSelectionInterval(i, i);
break;
}
}
ListSelectionModel lsm = table.getSelectionModel();
for (; i < rowCount; i++) {
String name = filteredEntries.get(i).toString();
if (savedSelection.contains(name)) {
lsm.addSelectionInterval(i, i);
}
}
} else {
if (table.getRowCount() != 0) table.setRowSelectionInterval(0, 0);
JScrollBar scrollbar = scrollpane.getVerticalScrollBar();
scrollbar.setValue(scrollbar.getMinimum());
}
} // }}}
} // }}}
// {{{ Entry class
private static class Entry {
String name, installedVersion, version, author, date, description, set;
long timestamp;
int size;
boolean install;
PluginList.Plugin plugin;
List<Entry> parents = new LinkedList<Entry>();
Entry(PluginList.Plugin plugin, String set) {
PluginList.Branch branch = plugin.getCompatibleBranch();
boolean downloadSource = jEdit.getBooleanProperty("plugin-manager.downloadSource");
int size = downloadSource ? branch.downloadSourceSize : branch.downloadSize;
this.name = plugin.name;
this.author = plugin.author;
this.installedVersion = plugin.getInstalledVersion();
this.version = branch.version;
this.size = size;
this.date = branch.date;
this.description = plugin.description;
this.set = set;
this.install = false;
this.plugin = plugin;
SimpleDateFormat format = new SimpleDateFormat("d MMMM yyyy", Locale.ENGLISH);
try {
timestamp = format.parse(date).getTime();
} catch (ParseException e) {
Log.log(Log.ERROR, this, e);
}
}
private void getParents(List<Entry> list) {
for (Entry entry : parents) {
if (entry.install && !list.contains(entry)) {
list.add(entry);
entry.getParents(list);
}
}
}
Entry[] getParents() {
List<Entry> list = new ArrayList<Entry>();
getParents(list);
Entry[] array = list.toArray(new Entry[list.size()]);
Arrays.sort(array, new StandardUtilities.StringCompare<Entry>(true));
return array;
}
@Override
public String toString() {
return name;
}
} // }}}
// {{{ PluginInfoBox class
/** @TODO refactor to use the PluginDetailPanel? */
private class PluginInfoBox extends JTextPane implements ListSelectionListener {
private final String[] params;
PluginInfoBox() {
setBackground(jEdit.getColorProperty("view.bgColor"));
setForeground(jEdit.getColorProperty("view.fgColor"));
putClientProperty(JEditorPane.HONOR_DISPLAY_PROPERTIES, true);
setEditable(false);
setEditorKit(new HTMLEditorKit());
// setLineWrap(true);
// setWrapStyleWord(true);
params = new String[3];
table.getSelectionModel().addListSelectionListener(this);
}
@Override
public void valueChanged(ListSelectionEvent e) {
String text = "";
if (table.getSelectedRowCount() == 1) {
Entry entry = (Entry) pluginModel.filteredEntries.get(table.getSelectedRow());
params[0] = entry.author;
params[1] = entry.date;
params[2] = entry.description;
text = jEdit.getProperty("install-plugins.info", params);
text = text.replace("\n", "<br>");
text = "<html>" + text + "</html>";
}
setText(text);
setCaretPosition(0);
}
} // }}}
// {{{ SizeLabel class
private class SizeLabel extends JLabel implements TableModelListener {
private int size;
private int nbPlugins;
SizeLabel() {
update();
pluginModel.addTableModelListener(this);
}
@Override
public void tableChanged(TableModelEvent e) {
if (e.getType() == TableModelEvent.UPDATE) {
if (pluginModel.isDownloadingList()) return;
size = 0;
nbPlugins = 0;
int length = pluginModel.entries.size();
for (int i = 0; i < length; i++) {
Entry entry = (Entry) pluginModel.entries.get(i);
if (entry.install) {
nbPlugins++;
size += entry.size;
}
}
update();
}
}
private void update() {
Object[] args = {nbPlugins, formatSize(size)};
setText(jEdit.getProperty("install-plugins.totalSize", args));
}
} // }}}
// {{{ SelectallButton class
private class SelectallButton extends JCheckBox implements ActionListener, TableModelListener {
SelectallButton() {
super(jEdit.getProperty("install-plugins.select-all"));
addActionListener(this);
pluginModel.addTableModelListener(this);
setEnabled(false);
}
@Override
public void actionPerformed(ActionEvent evt) {
pluginModel.setSelectAll(isSelected());
}
@Override
public void tableChanged(TableModelEvent e) {
if (pluginModel.isDownloadingList()) return;
setEnabled(pluginModel.getRowCount() != 0);
if (e.getType() == TableModelEvent.UPDATE) {
int length = pluginModel.getRowCount();
for (int i = 0; i < length; i++)
if (!((Boolean) pluginModel.getValueAt(i, 0)).booleanValue()) {
setSelected(false);
return;
}
if (length > 0) setSelected(true);
}
}
} // }}}
// {{{ StringMapHandler class
/** For parsing the pluginset xml files into pluginSet */
private class StringMapHandler extends DefaultHandler {
StringMapHandler() {
pluginSet.clear();
}
@Override
public void startElement(String uri, String localName, String qName, Attributes attrs)
throws SAXException {
if ("plugin".equals(localName)) {
pluginSet.add(attrs.getValue("jar"));
}
}
} // }}}
// {{{ ChoosePluginSet class
private class ChoosePluginSet extends RolloverButton implements ActionListener {
private String path;
// {{{ ChoosePluginSet constructor
ChoosePluginSet() {
setIcon(GUIUtilities.loadIcon(jEdit.getProperty("install-plugins.choose-plugin-set.icon")));
addActionListener(this);
updateUI();
} // }}}
// {{{ updateUI method
@Override
public void updateUI() {
path = jEdit.getProperty(PluginManager.PROPERTY_PLUGINSET, "");
if (path.length() < 1) setToolTipText("Click here to choose a predefined plugin set");
else setToolTipText("Choose pluginset (" + path + ')');
super.updateUI();
} // }}}
// {{{ actionPerformed() method
@Override
public void actionPerformed(ActionEvent ae) {
path =
jEdit.getProperty(
PluginManager.PROPERTY_PLUGINSET, jEdit.getSettingsDirectory() + File.separator);
String[] selectedFiles =
GUIUtilities.showVFSFileDialog(
InstallPanel.this.window, jEdit.getActiveView(), path, VFSBrowser.OPEN_DIALOG, false);
if (selectedFiles == null || selectedFiles.length != 1) return;
path = selectedFiles[0];
boolean success = loadPluginSet(path);
if (success) {
jEdit.setProperty(PluginManager.PROPERTY_PLUGINSET, path);
}
updateUI();
} // }}}
} // }}}
// {{{ ClearPluginSet class
private class ClearPluginSet extends RolloverButton implements ActionListener {
// {{{ ClearPluginSet constructor
ClearPluginSet() {
setIcon(GUIUtilities.loadIcon(jEdit.getProperty("install-plugins.clear-plugin-set.icon")));
setToolTipText("clear plugin set");
addActionListener(this);
} // }}}
// {{{ actionPerformed() method
@Override
public void actionPerformed(ActionEvent e) {
pluginSet.clear();
pluginModel.restoreSelection(new HashSet<String>(), new HashSet<String>());
jEdit.unsetProperty(PluginManager.PROPERTY_PLUGINSET);
chooseButton.updateUI();
} // }}}
} // }}}
// {{{ InstallButton class
private class InstallButton extends JButton implements ActionListener, TableModelListener {
InstallButton() {
super(jEdit.getProperty("install-plugins.install"));
pluginModel.addTableModelListener(this);
addActionListener(this);
setEnabled(false);
}
@Override
public void actionPerformed(ActionEvent evt) {
if (pluginModel.isDownloadingList()) return;
boolean downloadSource = jEdit.getBooleanProperty("plugin-manager.downloadSource");
boolean installUser = jEdit.getBooleanProperty("plugin-manager.installUser");
Roster roster = new Roster();
String installDirectory;
if (installUser) {
installDirectory = MiscUtilities.constructPath(jEdit.getSettingsDirectory(), "jars");
} else {
installDirectory = MiscUtilities.constructPath(jEdit.getJEditHome(), "jars");
}
int length = pluginModel.entries.size();
int instcount = 0;
for (int i = 0; i < length; i++) {
Entry entry = (Entry) pluginModel.entries.get(i);
if (entry.install) {
entry.plugin.install(roster, installDirectory, downloadSource);
if (updates)
entry
.plugin
.getCompatibleBranch()
.satisfyDependencies(roster, installDirectory, downloadSource);
instcount++;
}
}
if (roster.isEmpty()) return;
boolean cancel = false;
if (updates && roster.getOperationCount() > instcount)
if (GUIUtilities.confirm(
window,
"install-plugins.depend",
null,
JOptionPane.OK_CANCEL_OPTION,
JOptionPane.WARNING_MESSAGE)
== JOptionPane.CANCEL_OPTION) cancel = true;
if (!cancel) {
new PluginManagerProgress(window, roster);
roster.performOperationsInAWTThread(window);
pluginModel.update();
}
}
@Override
public void tableChanged(TableModelEvent e) {
if (pluginModel.isDownloadingList()) return;
if (e.getType() == TableModelEvent.UPDATE) {
int length = pluginModel.getRowCount();
for (int i = 0; i < length; i++)
if (((Boolean) pluginModel.getValueAt(i, 0)).booleanValue()) {
setEnabled(true);
return;
}
setEnabled(false);
}
}
} // }}}
// {{{ EntryCompare class
private static class EntryCompare implements Comparator<Entry> {
private static final int COLUMN_INSTALL = 0;
private static final int COLUMN_NAME = 1;
private static final int COLUMN_CATEGORY = 2;
private static final int COLUMN_VERSION = 3;
private static final int COLUMN_SIZE = 4;
private static final int COLUMN_RELEASE = 5;
private final int type;
/** 1=up, -1=down */
private final int sortDirection;
EntryCompare(int type, int sortDirection) {
this.type = type;
this.sortDirection = sortDirection;
}
@Override
public int compare(Entry e1, Entry e2) {
int result;
switch (type) {
case COLUMN_INSTALL:
result = (e1.install == e2.install) ? 0 : (e1.install ? 1 : -1);
break;
case COLUMN_NAME:
result = e1.name.compareToIgnoreCase(e2.name);
break;
case COLUMN_CATEGORY:
result = e1.set.compareToIgnoreCase(e2.set);
if (result == 0) {
result = e1.name.compareToIgnoreCase(e2.name);
}
break;
case COLUMN_VERSION:
// lets avoid NPE. Maybe we should move
// this code to StandardUtilities.compareStrings
if (e1.version == e2.version) {
result = 0;
} else if (e1.version == null) {
result = -1;
} else if (e2.version == null) {
result = 1;
} else {
result = StandardUtilities.compareStrings(e1.version, e2.version, true);
}
break;
case COLUMN_SIZE:
result = (e1.size < e2.size) ? -1 : ((e1.size == e2.size) ? 0 : 1);
break;
case COLUMN_RELEASE:
result = (e1.timestamp < e2.timestamp) ? -1 : ((e1.timestamp == e2.timestamp) ? 0 : 1);
break;
default:
result = 0;
}
return result * sortDirection;
}
} // }}}
// {{{ HeaderMouseHandler class
private class HeaderMouseHandler extends MouseAdapter {
@Override
public void mouseClicked(MouseEvent evt) {
int column = table.getTableHeader().columnAtPoint(evt.getPoint());
pluginModel.sortDirection *= -1;
pluginModel.sort(column);
}
} // }}}
// {{{ TextRenderer
private static class TextRenderer extends DefaultTableCellRenderer {
private final DefaultTableCellRenderer tcr;
TextRenderer(DefaultTableCellRenderer tcr) {
this.tcr = tcr;
}
@Override
public Component getTableCellRendererComponent(
JTable table, Object value, boolean isSelected, boolean hasFocus, int row, int column) {
if (column == 5) tcr.setHorizontalAlignment(TRAILING);
else tcr.setHorizontalAlignment(LEADING);
return tcr.getTableCellRendererComponent(table, value, isSelected, false, row, column);
}
} // }}}
// {{{ KeyboardAction class
private class KeyboardAction extends AbstractAction {
private KeyboardCommand command = KeyboardCommand.NONE;
KeyboardAction(KeyboardCommand command) {
this.command = command;
}
@Override
public void actionPerformed(ActionEvent evt) {
switch (command) {
case TAB_OUT_FORWARD:
KeyboardFocusManager.getCurrentKeyboardFocusManager().focusNextComponent();
break;
case TAB_OUT_BACK:
KeyboardFocusManager.getCurrentKeyboardFocusManager().focusPreviousComponent();
break;
case EDIT_PLUGIN:
int[] rows = table.getSelectedRows();
Object[] state = new Object[rows.length];
for (int i = 0; i < rows.length; i++) {
state[i] = pluginModel.getValueAt(rows[i], 0);
}
for (int i = 0; i < rows.length; i++) {
pluginModel.setValueAt(state[i].equals(Boolean.FALSE), rows[i], 0);
}
break;
case CLOSE_PLUGIN_MANAGER:
window.ok();
break;
default:
throw new InternalError();
}
}
} // }}}
// {{{ TableFocusHandler class
private class TableFocusHandler extends FocusAdapter {
@Override
public void focusGained(FocusEvent fe) {
if (-1 == table.getSelectedRow() && table.getRowCount() > 0) {
table.setRowSelectionInterval(0, 0);
JScrollBar scrollbar = scrollpane.getVerticalScrollBar();
scrollbar.setValue(scrollbar.getMinimum());
}
if (-1 == table.getSelectedColumn()) {
table.setColumnSelectionInterval(0, 0);
}
}
} // }}}
// {{{ HeaderRenderer
private static class HeaderRenderer extends DefaultTableCellRenderer {
private final DefaultTableCellRenderer tcr;
HeaderRenderer(DefaultTableCellRenderer tcr) {
this.tcr = tcr;
}
@Override
public Component getTableCellRendererComponent(
JTable table, Object value, boolean isSelected, boolean hasFocus, int row, int column) {
JLabel l =
(JLabel)
tcr.getTableCellRendererComponent(table, value, isSelected, hasFocus, row, column);
PluginTableModel model = (PluginTableModel) table.getModel();
Icon icon =
(column == model.sortType) ? (model.sortDirection == 1) ? ASC_ICON : DESC_ICON : null;
l.setIcon(icon);
// l.setHorizontalTextPosition(l.LEADING);
return l;
}
} // }}}
// }}}
static final Icon ASC_ICON = GUIUtilities.loadIcon("arrow-asc.png");
static final Icon DESC_ICON = GUIUtilities.loadIcon("arrow-desc.png");
}
public ToolBarEditDialog(
Component comp, DefaultComboBoxModel iconListModel, ToolBarOptionPane.Button current) {
super(
GUIUtilities.getParentDialog(comp), jEdit.getProperty("options.toolbar.edit.title"), true);
JPanel content = new JPanel(new BorderLayout());
content.setBorder(new EmptyBorder(12, 12, 12, 12));
setContentPane(content);
ActionHandler actionHandler = new ActionHandler();
ButtonGroup grp = new ButtonGroup();
JPanel typePanel = new JPanel(new GridLayout(3, 1, 6, 6));
typePanel.setBorder(new EmptyBorder(0, 0, 6, 0));
typePanel.add(new JLabel(jEdit.getProperty("options.toolbar.edit.caption")));
separator = new JRadioButton(jEdit.getProperty("options.toolbar" + ".edit.separator"));
separator.addActionListener(actionHandler);
grp.add(separator);
typePanel.add(separator);
action = new JRadioButton(jEdit.getProperty("options.toolbar" + ".edit.action"));
action.addActionListener(actionHandler);
grp.add(action);
typePanel.add(action);
content.add(BorderLayout.NORTH, typePanel);
JPanel actionPanel = new JPanel(new BorderLayout(6, 6));
ActionSet[] actionsList = jEdit.getActionSets();
Vector vec = new Vector(actionsList.length);
for (int i = 0; i < actionsList.length; i++) {
ActionSet actionSet = actionsList[i];
if (actionSet.getActionCount() != 0) vec.addElement(actionSet);
}
combo = new JComboBox(vec);
combo.addActionListener(actionHandler);
actionPanel.add(BorderLayout.NORTH, combo);
list = new JList();
list.setVisibleRowCount(8);
list.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
actionPanel.add(BorderLayout.CENTER, new JScrollPane(list));
JPanel iconPanel = new JPanel(new BorderLayout(0, 3));
JPanel labelPanel = new JPanel(new GridLayout(2, 1));
labelPanel.setBorder(new EmptyBorder(0, 0, 0, 12));
JPanel compPanel = new JPanel(new GridLayout(2, 1));
grp = new ButtonGroup();
labelPanel.add(builtin = new JRadioButton(jEdit.getProperty("options.toolbar.edit.builtin")));
builtin.addActionListener(actionHandler);
grp.add(builtin);
labelPanel.add(file = new JRadioButton(jEdit.getProperty("options.toolbar.edit.file")));
grp.add(file);
file.addActionListener(actionHandler);
iconPanel.add(BorderLayout.WEST, labelPanel);
builtinCombo = new JComboBox(iconListModel);
builtinCombo.setRenderer(new ToolBarOptionPane.IconCellRenderer());
compPanel.add(builtinCombo);
fileButton = new JButton(jEdit.getProperty("options.toolbar.edit.no-icon"));
fileButton.setMargin(new Insets(1, 1, 1, 1));
fileButton.setIcon(GUIUtilities.loadIcon("Blank24.gif"));
fileButton.setHorizontalAlignment(SwingConstants.LEFT);
fileButton.addActionListener(actionHandler);
compPanel.add(fileButton);
iconPanel.add(BorderLayout.CENTER, compPanel);
actionPanel.add(BorderLayout.SOUTH, iconPanel);
content.add(BorderLayout.CENTER, actionPanel);
JPanel southPanel = new JPanel();
southPanel.setLayout(new BoxLayout(southPanel, BoxLayout.X_AXIS));
southPanel.setBorder(new EmptyBorder(12, 0, 0, 0));
southPanel.add(Box.createGlue());
ok = new JButton(jEdit.getProperty("common.ok"));
ok.addActionListener(actionHandler);
getRootPane().setDefaultButton(ok);
southPanel.add(ok);
southPanel.add(Box.createHorizontalStrut(6));
cancel = new JButton(jEdit.getProperty("common.cancel"));
cancel.addActionListener(actionHandler);
southPanel.add(cancel);
southPanel.add(Box.createGlue());
content.add(BorderLayout.SOUTH, southPanel);
if (current == null) {
action.setSelected(true);
builtin.setSelected(true);
updateList();
} else {
if (current.actionName.equals("-")) {
separator.setSelected(true);
builtin.setSelected(true);
} else {
action.setSelected(true);
ActionSet set = jEdit.getActionSetForAction(current.actionName);
combo.setSelectedItem(set);
updateList();
list.setSelectedValue(current, true);
if (MiscUtilities.isURL(current.iconName)) {
file.setSelected(true);
fileIcon = current.iconName;
try {
fileButton.setIcon(new ImageIcon(new URL(fileIcon)));
} catch (MalformedURLException mf) {
Log.log(Log.ERROR, this, mf);
}
fileButton.setText(MiscUtilities.getFileName(fileIcon));
} else {
String iconName = MiscUtilities.getFileName(current.iconName);
builtin.setSelected(true);
ListModel model = builtinCombo.getModel();
for (int i = 0; i < model.getSize(); i++) {
ToolBarOptionPane.IconListEntry entry =
(ToolBarOptionPane.IconListEntry) model.getElementAt(i);
if (entry.name.equals(iconName)) {
builtinCombo.setSelectedIndex(i);
break;
}
}
}
}
}
updateEnabled();
pack();
setLocationRelativeTo(GUIUtilities.getParentDialog(comp));
show();
}
protected void _init() {
setLayout(new BorderLayout());
JPanel panel = new JPanel(new GridLayout(2, 1));
showToolbar = new JCheckBox(jEdit.getProperty("options.toolbar.showToolbar"));
showToolbar.setSelected(jEdit.getBooleanProperty("view.showToolbar"));
panel.add(showToolbar);
panel.add(new JLabel(jEdit.getProperty("options.toolbar.caption")));
add(BorderLayout.NORTH, panel);
String toolbar = jEdit.getProperty("view.toolbar");
StringTokenizer st = new StringTokenizer(toolbar);
listModel = new DefaultListModel();
while (st.hasMoreTokens()) {
String actionName = (String) st.nextToken();
if (actionName.equals("-"))
listModel.addElement(new ToolBarOptionPane.Button("-", null, null, "-"));
else {
EditAction action = jEdit.getAction(actionName);
if (action == null) continue;
String label = action.getLabel();
if (label == null) continue;
Icon icon;
String iconName;
if (actionName.equals("-")) {
iconName = null;
icon = null;
} else {
iconName = jEdit.getProperty(actionName + ".icon");
if (iconName == null) icon = GUIUtilities.loadIcon("BrokenImage.png");
else {
icon = GUIUtilities.loadIcon(iconName);
if (icon == null) icon = GUIUtilities.loadIcon("BrokenImage.png");
}
}
listModel.addElement(new Button(actionName, iconName, icon, label));
}
}
list = new JList(listModel);
list.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
list.addListSelectionListener(new ListHandler());
list.setCellRenderer(new ButtonCellRenderer());
add(BorderLayout.CENTER, new JScrollPane(list));
JPanel buttons = new JPanel();
buttons.setBorder(new EmptyBorder(3, 0, 0, 0));
buttons.setLayout(new BoxLayout(buttons, BoxLayout.X_AXIS));
ActionHandler actionHandler = new ActionHandler();
add = new RolloverButton(GUIUtilities.loadIcon("Plus.png"));
add.setToolTipText(jEdit.getProperty("options.toolbar.add"));
add.addActionListener(actionHandler);
buttons.add(add);
buttons.add(Box.createHorizontalStrut(6));
remove = new RolloverButton(GUIUtilities.loadIcon("Minus.png"));
remove.setToolTipText(jEdit.getProperty("options.toolbar.remove"));
remove.addActionListener(actionHandler);
buttons.add(remove);
buttons.add(Box.createHorizontalStrut(6));
moveUp = new RolloverButton(GUIUtilities.loadIcon("ArrowU.png"));
moveUp.setToolTipText(jEdit.getProperty("options.toolbar.moveUp"));
moveUp.addActionListener(actionHandler);
buttons.add(moveUp);
buttons.add(Box.createHorizontalStrut(6));
moveDown = new RolloverButton(GUIUtilities.loadIcon("ArrowD.png"));
moveDown.setToolTipText(jEdit.getProperty("options.toolbar.moveDown"));
moveDown.addActionListener(actionHandler);
buttons.add(moveDown);
buttons.add(Box.createHorizontalStrut(6));
edit = new RolloverButton(GUIUtilities.loadIcon("ButtonProperties.png"));
edit.setToolTipText(jEdit.getProperty("options.toolbar.edit"));
edit.addActionListener(actionHandler);
buttons.add(edit);
buttons.add(Box.createGlue());
updateButtons();
add(BorderLayout.SOUTH, buttons);
iconList = new DefaultComboBoxModel();
st = new StringTokenizer(jEdit.getProperty("icons"));
while (st.hasMoreElements()) {
String icon = st.nextToken();
iconList.addElement(new IconListEntry(GUIUtilities.loadIcon(icon), icon));
}
}
// {{{ HyperSearchResults constructor
public HyperSearchResults(View view) {
super(new BorderLayout());
this.view = view;
caption = new JLabel();
Box toolBar = new Box(BoxLayout.X_AXIS);
toolBar.add(caption);
toolBar.add(Box.createGlue());
ActionHandler ah = new ActionHandler();
highlight = new RolloverButton();
highlight.setToolTipText(jEdit.getProperty("hypersearch-results.highlight.label"));
highlight.addActionListener(ah);
toolBar.add(highlight);
clear =
new RolloverButton(
GUIUtilities.loadIcon(jEdit.getProperty("hypersearch-results.clear.icon")));
clear.setToolTipText(jEdit.getProperty("hypersearch-results.clear.label"));
clear.addActionListener(ah);
toolBar.add(clear);
multi = new RolloverButton();
multi.setToolTipText(jEdit.getProperty("hypersearch-results.multi.label"));
multi.addActionListener(ah);
toolBar.add(multi);
stop =
new RolloverButton(
GUIUtilities.loadIcon(jEdit.getProperty("hypersearch-results.stop.icon")));
stop.setToolTipText(jEdit.getProperty("hypersearch-results.stop.label"));
stop.addActionListener(ah);
toolBar.add(stop);
stop.setEnabled(false);
add(BorderLayout.NORTH, toolBar);
resultTreeRoot = new DefaultMutableTreeNode();
resultTreeModel = new DefaultTreeModel(resultTreeRoot);
resultTree = new HighlightingTree(resultTreeModel);
resultTree.setToolTipText(null);
resultTree.setCellRenderer(new ResultCellRenderer());
resultTree.setVisibleRowCount(16);
resultTree.setRootVisible(false);
resultTree.setShowsRootHandles(true);
// the ESCAPE keystroke is assigned to hideTip action by swing
// it breaks the action usually assigned to close-docking-area by jEdit,
// so we remove this keystroke binding bug #1955140
KeyStroke keyStroke = KeyStroke.getKeyStroke(KeyEvent.VK_ESCAPE, 0);
resultTree.getInputMap().remove(keyStroke);
// looks bad with the OS X L&F, apparently...
if (!OperatingSystem.isMacOSLF()) resultTree.putClientProperty("JTree.lineStyle", "Angled");
resultTree.setEditable(false);
resultTree.addKeyListener(new KeyHandler());
resultTree.addMouseListener(new MouseHandler());
JScrollPane scrollPane = new JScrollPane(resultTree);
Dimension dim = scrollPane.getPreferredSize();
dim.width = 400;
scrollPane.setPreferredSize(dim);
add(BorderLayout.CENTER, scrollPane);
resultTree.setTransferHandler(new ResultTreeTransferHandler());
} // }}}
