// {{{ 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();
} // }}}
// {{{ init() method
private void init() {
EditBus.addToBus(this);
/* Setup panes */
JPanel content = new JPanel(new BorderLayout(12, 12));
content.setBorder(new EmptyBorder(12, 12, 12, 12));
setContentPane(content);
tabPane = new JTabbedPane();
tabPane.addTab(jEdit.getProperty("manage-plugins.title"), manager = new ManagePanel(this));
tabPane.addTab(
jEdit.getProperty("update-plugins.title"), updater = new InstallPanel(this, true));
tabPane.addTab(
jEdit.getProperty("install-plugins.title"), installer = new InstallPanel(this, false));
EditBus.addToBus(installer);
content.add(BorderLayout.CENTER, tabPane);
tabPane.addChangeListener(new ListUpdater());
/* Create the buttons */
Box buttons = new Box(BoxLayout.X_AXIS);
ActionListener al = new ActionHandler();
mgrOptions = new JButton(jEdit.getProperty("plugin-manager.mgr-options"));
mgrOptions.addActionListener(al);
pluginOptions = new JButton(jEdit.getProperty("plugin-manager.plugin-options"));
pluginOptions.addActionListener(al);
done = new JButton(jEdit.getProperty("plugin-manager.done"));
done.addActionListener(al);
buttons.add(Box.createGlue());
buttons.add(mgrOptions);
buttons.add(Box.createHorizontalStrut(6));
buttons.add(pluginOptions);
buttons.add(Box.createHorizontalStrut(6));
buttons.add(done);
buttons.add(Box.createGlue());
getRootPane().setDefaultButton(done);
content.add(BorderLayout.SOUTH, buttons);
setDefaultCloseOperation(DISPOSE_ON_CLOSE);
setIconImage(GUIUtilities.getPluginIcon());
pack();
GUIUtilities.loadGeometry(this, parent, "plugin-manager");
GUIUtilities.addSizeSaver(this, parent, "plugin-manager");
setVisible(true);
} // }}}
// {{{ updatePluginList() method
private void updatePluginList() {
if (jEdit.getSettingsDirectory() == null && jEdit.getJEditHome() == null) {
GUIUtilities.error(this, "no-settings", null);
return;
}
if (!shouldUpdatePluginList()) {
return;
}
ThreadUtilities.runInBackground(
new Task() {
@Override
public void _run() {
try {
downloadingPluginList = true;
setStatus(jEdit.getProperty("plugin-manager.list-download-connect"));
pluginList = new PluginList(this);
} finally {
downloadingPluginList = false;
}
ThreadUtilities.runInDispatchThread(
new Runnable() {
public void run() {
pluginListUpdated();
}
});
}
});
} // }}}
@Override
public void actionPerformed(ActionEvent evt) {
Object source = evt.getSource();
if (source == highlight) {
String prop = jEdit.getProperty(HIGHLIGHT_PROP);
Font f = (resultTree != null) ? resultTree.getFont() : UIManager.getFont("Tree.font");
SyntaxStyle style =
new StyleEditor(
jEdit.getActiveView(),
HtmlUtilities.parseHighlightStyle(prop, f),
"hypersearch")
.getStyle();
if (style != null) jEdit.setProperty(HIGHLIGHT_PROP, GUIUtilities.getStyleString(style));
updateHighlightStatus();
} else if (source == clear) {
removeAllNodes();
} else if (source == multi) {
multiStatus = !multiStatus;
updateMultiStatus();
if (!multiStatus) {
for (int i = resultTreeRoot.getChildCount() - 2; i >= 0; i--) {
resultTreeModel.removeNodeFromParent((MutableTreeNode) resultTreeRoot.getChildAt(i));
}
}
} else if (source == stop) {
jEdit.setTemporaryProperty("hyperSearch-stopButton", "true");
}
}
// {{{ mousePressed() method
@Override
public void mousePressed(MouseEvent evt) {
if (evt.isConsumed()) return;
TreePath path1 = resultTree.getPathForLocation(evt.getX(), evt.getY());
if (path1 == null) return;
resultTree.setSelectionPath(path1);
if (GUIUtilities.isPopupTrigger(evt)) showPopupMenu(evt);
else {
goToSelectedNode(M_OPEN);
}
} // }}}
public void chooseFile() {
if (!h4JmfPlugin.jmf_ok) return;
if (h4JmfPlugin.playMP3 != null) {
h4JmfPlugin.cnsl.append("playMP3!=null");
return;
}
String tmpdir = System.getProperty("java.io.tmpdir");
String[] paths =
GUIUtilities.showVFSFileDialog(
view, tmpdir + File.separator, JFileChooser.OPEN_DIALOG, false);
// if(paths!=null && !paths[0].equals(filename))
if (paths != null) {
String filename = paths[0];
h4JmfPlugin.cnsl.append("filename=" + filename);
try {
URL url = new URL("file://" + filename);
player_begin(url);
} catch (Exception e) {
logger.severe(e.getMessage());
h4JmfPlugin.cnsl.append(e);
}
}
} // chooseFile
// {{{ showPopupMenu method
private void showPopupMenu(MouseEvent evt) {
TreePath path = resultTree.getSelectionPath();
DefaultMutableTreeNode node = (DefaultMutableTreeNode) path.getLastPathComponent();
popupMenu = new JPopupMenu();
Object userObj = node.getUserObject();
if (userObj instanceof HyperSearchFileNode || userObj instanceof HyperSearchResult) {
popupMenu.add(new GoToNodeAction("hypersearch-results.open", M_OPEN));
popupMenu.add(new GoToNodeAction("hypersearch-results.open-view", M_OPEN_NEW_VIEW));
popupMenu.add(
new GoToNodeAction("hypersearch-results.open-plain-view", M_OPEN_NEW_PLAIN_VIEW));
popupMenu.add(new GoToNodeAction("hypersearch-results.open-split", M_OPEN_NEW_SPLIT));
}
if (!(userObj instanceof HyperSearchFolderNode)) popupMenu.add(new RemoveTreeNodeAction());
popupMenu.add(new ExpandChildTreeNodesAction());
if (userObj instanceof HyperSearchFolderNode || userObj instanceof HyperSearchOperationNode) {
popupMenu.add(new CollapseChildTreeNodesAction());
if (userObj instanceof HyperSearchFolderNode) popupMenu.add(new NewSearchAction());
}
if (userObj instanceof HyperSearchOperationNode) {
popupMenu.add(new JPopupMenu.Separator());
HyperSearchOperationNode resultNode = (HyperSearchOperationNode) userObj;
JCheckBoxMenuItem chkItem =
new JCheckBoxMenuItem(
jEdit.getProperty("hypersearch-results.tree-view"),
resultNode.isTreeViewDisplayed());
chkItem.addActionListener(new TreeDisplayAction());
popupMenu.add(chkItem);
popupMenu.add(new RedoSearchAction((HyperSearchOperationNode) userObj));
}
popupMenu.add(new CopyToClipboardAction());
GUIUtilities.showPopupMenu(popupMenu, evt.getComponent(), evt.getX(), evt.getY());
evt.consume();
} // }}}
// {{{ 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());
} // }}}