With Wayland when doing "CTRL+F" to open the search view the focus
is transfered to the Search dialog and CTRL release event is never
recieved by the main window locking it in hypermode
close eng/ide/gnatstudio#36
Don't use Gtk.Main.Grab_Get_Current in Keymanager, in
case of a modal dialog it will still return a widget
from the Main_Window which is in the wrong toplevel.
Modify Get_Current_Focus_Widget to first check if a
toplevel is active before relying on Grab_Get_Current.
Add a test.
Change-Id: I494ce5a59d710f5043a669c425fb958141a421e3
Add free for Callback_Data/Subprogram_Type/List_Instances
Fix ownership transfer issue for Monitored_Command.
Fix over-referenced on widget by python (Editor_Overlay)
Add a test.
Change-Id: I5f6447e37928535f2b7085bcd1b102ee28e31c33
And add a mechanism to copy the old .gps directory to .gnatstudio
the first time. Rename keys6.xml to keys.xml when importing the old
.gpr directory.
Change-Id: I1e1ea2c123ae772a547561737e2309d4c081f239
The Gtkada.Dialogs.Message_Dialog function uses old XPM icons which
are quite ugly: instead, we now use the GPS_Message_Dialog funtion that
uses new modern icons for confirmation/information/warning/error dialogs.
Change-Id: Ib88758c05fbc00760e524e54fd7f15fe2a2eaaf3
Depends-On: Id5f97957e2615a00bf5646e2f3479601a3bb5998
We were forgetting in some part of the code to free the paths
before freeing the list.
Move a function to do it from gps-locations-view to gui_utils.
Change-Id: Ia27017798eb5878f3e24514f5d31399ed5103272
