// {{{ dispose() method
@Override
public void dispose() {
instance = null;
EditBus.removeFromBus(this);
EditBus.removeFromBus(installer);
super.dispose();
} // }}}
// {{{ 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);
} // }}}
/**
* Sets the current replacement string.
*
* @param replace The new replacement string
*/
public static void setReplaceString(String replace) {
if (replace.equals(SearchAndReplace.replace)) return;
SearchAndReplace.replace = replace;
EditBus.send(new SearchSettingsChanged(null));
} // }}}
/**
* Sets the state of the auto wrap around flag.
*
* @param wrap If true, the 'continue search from start' dialog will not be displayed
* @since jEdit 3.2pre2
*/
public static void setAutoWrapAround(boolean wrap) {
if (wrap == SearchAndReplace.wrap) return;
SearchAndReplace.wrap = wrap;
EditBus.send(new SearchSettingsChanged(null));
} // }}}
/**
* Determines whether a reverse search will conducted from the current position to the beginning
* of a buffer. Note that reverse search and regular expression search is mutually exclusive;
* enabling one will disable the other.
*
* @param reverse True if searches should go backwards, false otherwise
*/
public static void setReverseSearch(boolean reverse) {
if (reverse == SearchAndReplace.reverse) return;
SearchAndReplace.reverse = reverse;
EditBus.send(new SearchSettingsChanged(null));
} // }}}
/**
* Sets the state of the BeanShell replace flag.
*
* @param beanshell True if the replace string is a BeanShell expression
* @since jEdit 3.2pre2
*/
public static void setBeanShellReplace(boolean beanshell) {
if (beanshell == SearchAndReplace.beanshell) return;
SearchAndReplace.beanshell = beanshell;
EditBus.send(new SearchSettingsChanged(null));
} // }}}
/**
* Sets the current search string.
*
* @param search The new search string
*/
public static void setSearchString(String search) {
if (search.equals(SearchAndReplace.search)) return;
SearchAndReplace.search = search;
matcher = null;
EditBus.send(new SearchSettingsChanged(null));
} // }}}
/**
* Sets the ignore case flag.
*
* @param ignoreCase True if searches should be case insensitive, false otherwise
*/
public static void setIgnoreCase(boolean ignoreCase) {
if (ignoreCase == SearchAndReplace.ignoreCase) return;
SearchAndReplace.ignoreCase = ignoreCase;
matcher = null;
EditBus.send(new SearchSettingsChanged(null));
} // }}}
/**
* Sets the whole word flag.
*
* @param wholeWord True if only whole words should be searched, false otherwise
* @since 4.5pre1
*/
public static void setWholeWord(boolean wholeWord) {
if (wholeWord == SearchAndReplace.wholeWord) return;
SearchAndReplace.wholeWord = wholeWord;
matcher = null;
EditBus.send(new SearchSettingsChanged(null));
} // }}}
// {{{ addNotify() method
@Override
public void addNotify() {
super.addNotify();
EditBus.addToBus(this);
multiStatus = jEdit.getBooleanProperty("hypersearch-results.multi");
updateHighlightStatus();
updateMultiStatus();
} // }}}
/**
* Sets the state of the regular expression flag.
*
* @param regexp True if regular expression searches should be performed
*/
public static void setRegexp(boolean regexp) {
if (regexp == SearchAndReplace.regexp) return;
SearchAndReplace.regexp = regexp;
if (regexp && reverse) reverse = false;
matcher = null;
EditBus.send(new SearchSettingsChanged(null));
} // }}}
/**
* Finds the next instance of the search string in the specified buffer.
*
* @param view The view
* @param buffer The buffer
* @param start Location where to start the search
* @param firstTime See {@link
* SearchMatcher#nextMatch(CharSequence,boolean,boolean,boolean,boolean)}.
* @since jEdit 4.1pre7
*/
public static boolean find(
View view, Buffer buffer, int start, boolean firstTime, boolean reverse) throws Exception {
EditBus.send(new PositionChanging(view.getEditPane()));
SearchMatcher matcher = getSearchMatcher();
if (matcher == null) {
view.getToolkit().beep();
return false;
}
CharSequence text;
boolean startOfLine;
boolean endOfLine;
if (reverse) {
text = new ReverseCharSequence(buffer.getSegment(0, start));
startOfLine = true;
endOfLine = (buffer.getLineEndOffset(buffer.getLineOfOffset(start)) - 1 == start);
} else {
text = buffer.getSegment(start, buffer.getLength() - start);
startOfLine = (buffer.getLineStartOffset(buffer.getLineOfOffset(start)) == start);
endOfLine = true;
}
String noWordSep = buffer.getStringProperty("noWordSep");
matcher.setNoWordSep(noWordSep);
SearchMatcher.Match match = matcher.nextMatch(text, startOfLine, endOfLine, firstTime, reverse);
if (match != null) {
jEdit.commitTemporary(buffer);
view.setBuffer(buffer, true);
JEditTextArea textArea = view.getTextArea();
if (reverse) {
textArea.setSelection(new Selection.Range(start - match.end, start - match.start));
// make sure end of match is visible
textArea.scrollTo(start - match.start, false);
textArea.moveCaretPosition(start - match.end);
} else {
textArea.setSelection(new Selection.Range(start + match.start, start + match.end));
textArea.moveCaretPosition(start + match.end);
// make sure start of match is visible
textArea.scrollTo(start + match.start, false);
}
return true;
} else return false;
} // }}}
/** Loads search and replace state from the properties. */
public static void load() {
search = jEdit.getProperty("search.find.value");
replace = jEdit.getProperty("search.replace.value");
wholeWord = jEdit.getBooleanProperty("search.wholeWord.toggle");
ignoreCase = jEdit.getBooleanProperty("search.ignoreCase.toggle");
regexp = jEdit.getBooleanProperty("search.regexp.toggle");
beanshell = jEdit.getBooleanProperty("search.beanshell.toggle");
wrap = jEdit.getBooleanProperty("search.wrap.toggle");
fileset = new CurrentBufferSet();
// Tags plugin likes to call this method at times other than
// startup; so we need to fire a SearchSettingsChanged to
// notify the search bar and so on.
matcher = null;
EditBus.send(new SearchSettingsChanged(null));
} // }}}
/**
* Sets the current search file set.
*
* @param fileset The file set to perform searches in
* @see AllBufferSet
* @see CurrentBufferSet
* @see DirectoryListSet
*/
public static void setSearchFileSet(SearchFileSet fileset) {
SearchAndReplace.fileset = fileset;
EditBus.send(new SearchSettingsChanged(null));
} // }}}
/**
* Sets a custom search string matcher. Note that calling {@link #setSearchString(String)}, {@link
* #setWholeWord(boolean)}, {@link #setIgnoreCase(boolean)}, or {@link #setRegexp(boolean)} will
* reset the matcher to the default.
*/
public static void setSearchMatcher(SearchMatcher matcher) {
SearchAndReplace.matcher = matcher;
EditBus.send(new SearchSettingsChanged(null));
} // }}}
// {{{ removeNotify() method
@Override
public void removeNotify() {
super.removeNotify();
EditBus.removeFromBus(this);
jEdit.setBooleanProperty("hypersearch-results.multi", multiStatus);
} // }}}