void OnPreferencesTreeViewSelectionChanged(object o, EventArgs args)
{
TreeSelection sel = (TreeSelection)o;
TreeModel tm;
TreeIter ti;
if (sel.GetSelected(out tm, out ti))
{
IPluginPreferences ipp = (IPluginPreferences)tm.GetValue(ti, 1);
// If user tried to select a header row, keep the previous selection
if (ipp == null)
{
sel.SelectIter(selectedIter);
return;
}
if (PreferencesPaned.Child2 != null)
{
PreferencesPaned.Remove(PreferencesPaned.Child2);
}
PreferencesPaned.Pack2(ipp.Widget, true, false);
ipp.LoadPreferences();
ipp.Widget.ShowAll();
selectedIter = ti;
}
}
// Analysis disable once UnusedParameter
public FocusPlugin(Window mw, UIManager uim)
{
mainWindow = mw;
pluginPreferences = new FocusPreferences();
name = "Focus";
author = "Sandy Carter";
description = "Reduce focus on null bytes";
}
public PatternMatchHighlightPlugin(Window mw, UIManager uim)
{
mainWindow = mw;
pluginPreferences = new PatternMatchPreferences();
name = "PatternMatchHighlight";
author = "Alexandros Frantzis";
description = "Highlights all matches of the current selection";
}
public CopyOffsetPlugin(Window mw, UIManager uim)
{
mainWindow = mw;
uiManager = uim;
pluginPreferences = new CopyOffsetPreferences();
number_base = 10;
saved_offset = 0;
saved_selection = new Bless.Util.Range();
name = "CopyOffset";
author = "Alexandros Frantzis";
description = "Adds to copy the current offset (or range)";
loadAfter.Add("EditOperations");
}
