2018-07-04 21:38:28 +00:00
|
|
|
using Gtk;
|
|
|
|
using Gee;
|
|
|
|
|
|
|
|
using Dino.Entities;
|
|
|
|
|
|
|
|
namespace Dino.Ui {
|
|
|
|
|
|
|
|
public class SearchMenuEntry : Plugins.ConversationTitlebarEntry, Object {
|
|
|
|
public string id { get { return "search"; } }
|
|
|
|
|
2019-03-16 21:25:46 +00:00
|
|
|
public GlobalSearchButton search_button = new GlobalSearchButton() { tooltip_text=_("Search messages"), visible = true };
|
2018-07-04 21:38:28 +00:00
|
|
|
|
2019-01-27 14:24:58 +00:00
|
|
|
public SearchMenuEntry() {
|
|
|
|
search_button.set_image(new Gtk.Image.from_icon_name("system-search-symbolic", Gtk.IconSize.MENU) { visible = true });
|
2018-07-04 21:38:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
public double order { get { return 1; } }
|
|
|
|
public Plugins.ConversationTitlebarWidget? get_widget(Plugins.WidgetType type) {
|
|
|
|
if (type == Plugins.WidgetType.GTK) {
|
|
|
|
return search_button;
|
|
|
|
}
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
public class GlobalSearchButton : Plugins.ConversationTitlebarWidget, Gtk.ToggleButton {
|
2018-07-25 18:41:51 +00:00
|
|
|
public new void set_conversation(Conversation conversation) { }
|
2018-07-04 21:38:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
}
|