mirror of
https://gitlab.gnome.org/GNOME/gitg
synced 2024-10-01 05:33:49 +00:00
Fix searching in the dash
It seems this was regressed a long time ago. Fix it by removing the search-enabled property.
This commit is contained in:
parent
c48c9a2dcf
commit
155ec3e4bd
|
@ -27,7 +27,6 @@ class DashView : Gtk.Grid, GitgExt.UIElement, GitgExt.Activity, GitgExt.Selectab
|
|||
|
||||
public GitgExt.Application? application { owned get; construct set; }
|
||||
|
||||
private bool d_search_enabled;
|
||||
private bool d_setting_mode;
|
||||
|
||||
[GtkChild( name = "introduction" )]
|
||||
|
@ -148,24 +147,11 @@ class DashView : Gtk.Grid, GitgExt.UIElement, GitgExt.Activity, GitgExt.Selectab
|
|||
|
||||
public bool search_visible { get; set; }
|
||||
|
||||
public bool search_enabled
|
||||
{
|
||||
get { return d_search_enabled; }
|
||||
set
|
||||
{
|
||||
if (d_search_enabled != value)
|
||||
{
|
||||
d_search_enabled = value;
|
||||
update_search_text();
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
private void update_search_text()
|
||||
{
|
||||
if (d_repository_list_box != null)
|
||||
{
|
||||
if (d_search_enabled && d_search_text != "")
|
||||
if (d_search_text != "")
|
||||
{
|
||||
d_repository_list_box.filter_text(d_search_text);
|
||||
}
|
||||
|
|
|
@ -1036,7 +1036,6 @@ namespace GitgHistory
|
|||
|
||||
public string search_text { owned get; set; default = ""; }
|
||||
public bool search_visible { get; set; }
|
||||
public bool search_enabled { get; set; }
|
||||
}
|
||||
}
|
||||
|
||||
|
|
|
@ -30,7 +30,6 @@ public interface Searchable : Object, Activity
|
|||
{
|
||||
public abstract string search_text { owned get; set; }
|
||||
public abstract bool search_visible { get; set; }
|
||||
public abstract bool search_enabled { get; set; }
|
||||
public abstract bool search_available { get; }
|
||||
public abstract Gtk.Entry? search_entry { set; }
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue