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"); }