diff options
author | Rod Kay | 2021-07-22 08:22:43 +1000 |
---|---|---|
committer | Rod Kay | 2021-07-22 08:22:43 +1000 |
commit | 2d295af4322de05ffc966f4f4a396e99d69346c1 (patch) | |
tree | 6fafbf8141c102d35cb4b99ecc722860825a110c /patch-filter_panels.adb | |
parent | d01d85dec133dfdc03c0b5cc2e313fe70d55ce20 (diff) | |
download | aur-2d295af4322de05ffc966f4f4a396e99d69346c1.tar.gz |
Update to 2021 release.
Diffstat (limited to 'patch-filter_panels.adb')
-rw-r--r-- | patch-filter_panels.adb | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/patch-filter_panels.adb b/patch-filter_panels.adb new file mode 100644 index 000000000000..b9b02b2442d7 --- /dev/null +++ b/patch-filter_panels.adb @@ -0,0 +1,46 @@ +--- gps-2021-20210701-19B6B-src-pristine/kernel/src/filter_panels.adb ++++ gps-2021-20210701-19B6B-src/kernel/src/filter_panels.adb +@@ -26,6 +26,7 @@ + with Gtk.GEntry; use Gtk.GEntry; + with Gtk.Menu_Item; use Gtk.Menu_Item; + with Gtk.Separator_Menu_Item; use Gtk.Separator_Menu_Item; ++with Gtk.Main; + + with Gtkada.Handlers; use Gtkada.Handlers; + +@@ -65,8 +66,7 @@ + + procedure On_Pattern_Config_Menu + (Self : access GObject_Record'Class; +- Pos : Gtk_Entry_Icon_Position; +- Event : Gdk_Event); ++ Pos : Gtk_Entry_Icon_Position); + -- Creates the popup menu to configure the filter settings. + + function On_Filter_Focus_Out +@@ -400,13 +400,13 @@ + + procedure On_Pattern_Config_Menu + (Self : access GObject_Record'Class; +- Pos : Gtk_Entry_Icon_Position; +- Event : Gdk_Event) ++ Pos : Gtk_Entry_Icon_Position) + is + pragma Unreferenced (Pos); -- unreliable with gtk+ 3.8 + use Glib; + + Panel : constant Filter_Panel := Filter_Panel (Self); ++ Event : constant Gdk_Event := Gtk.Main.Get_Current_Event; + + procedure Func + (Menu : not null access Gtk_Menu_Record'Class; +@@ -425,7 +425,7 @@ + end Func; + + begin +- if Panel.Pattern.Get_Icon_Position (Event.Button) = ++ if Panel.Pattern.Get_Icon_Position (Event) = + Gtk_Entry_Icon_Primary + then + Panel.Pattern_Config_Menu.Show_All; + |