public FramelessEntry(SearchEntry parent) : base()
{
this.parent = parent;
HasFrame = false;
layout = new Pango.Layout(PangoContext);
layout.FontDescription = PangoContext.FontDescription.Copy();
parent.StyleSet += OnParentStyleSet;
WidthChars = 1;
}
public ManagePluginsPreferencesWidget()
{
Build();
PluginManager.RefreshPlugins();
search_entry = new SearchEntry();
nview = new PluginNodeView();
nview.PluginToggled += OnPluginToggled;
nview.PluginSelected += OnPluginSelected;
TargetEntry[] targets =
{
new TargetEntry("text/uri-list", 0, 0),
};
Gtk.Drag.DestSet(nview, DestDefaults.All, targets, Gdk.DragAction.Copy);
nview.DragDataReceived += new DragDataReceivedHandler(OnDragDataReceived);
scrollw.Add(nview);
scrollw.ShowAll();
foreach (AddinClassifier cfier in PluginManager.Classifiers)
{
show_combo.AppendText(cfier.Name);
}
show_combo.Active = 0;
search_entry = new SearchEntry();
search_entry.Changed += OnSearchEntryChanged;
search_entry.Show();
search_entry.Ready = true;
hbox1.PackStart(search_entry, true, true, 0);
hbox1.ShowAll();
Services.Application.RunOnMainThread(() => search_entry.InnerEntry.GrabFocus());
}
