Beispiel #1
0
            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());
        }