For that add a procedure that allows to temporarily disable
moving the cursor in GPS.Editors, and use it by default when
applying TextEdits.
For eng/ide/ada_language_server#1159
The focus should not be changed when highlighting the new
debugger location since the user might be interacting with
the debugger via the console.
For eng/ide/gnatstudio#249
GNAT Studio now displays all the code actions from the same kind
in the multiactions popup that appears on the left-side of the
editor, with a proper label above the group of actions that have
the same kind (e.g: Refactoring).
For eng/ide/gnatstudio#82
Opening a buffer without a view leaves the responsibility to the
caller to close the buffer manually.
=> this is unsafe: either we are closing a buffer shared
somewhere else or forgetting to close it (= leaking it)
The solution is to always use Buffer_Holder.
Doing a search within an editor with ASCII.HT will create invalid
message hightlighting. GPS.Search module is too far from
the concept of Editor_Buffer and visible_column so remove any
reference of it.
Add a test.
eng/ide/gnatstudio#34
Since information about them can already be retirved when
hovering on the icons displayed on the right-side column of
the editor.
For eng/ide/gnatstudio#51
This makes it easier to identify files opened that do not belong
to the currently loaded project.
A message is also displayed in the tab tooltips, to make it more
explicit.
An automatic test has been added.
On Ubuntu 22.04, when changing workspace using "CTRL+ALT+Arrow"
the Hyperlink mode is never deactivated. Thus when going back
to GS, all action are using CTRL modifier until the CTRL has been
released once manually.
Monitor Focus_Out on the main window to deactivate hyperlink mode.
Insert space when the command can't be executed because the cursor
is not in the string literal. This may happen when Shift is
pressed accidentally with the space bar.
Users are now able to create bookmarks when doing ctrl-clicks
on editor line number, a bit like they can do to create breakpoints.
This makes bookmarks more easily usable for navigation.
Closes eng/ide/gnatstudio#8
