Andry Ogorodnik
d0cf42f5fe
Misplacement of pragma when using GNAT SAS Annotate
2024-10-16 10:16:16 +00:00
Nicolas Setton
1fe55e5bec
Remove withs of self
...
Flagged by recent compilers.
no-issue-check
2024-10-11 15:08:39 +00:00
Boulanger
f25a87b7d2
Add preference to disable ALS project diagnostics
...
Add a test.
For eng/ide/ada_language_server#1427
Depends-On: eng/ide/ada_language_server!1694
(cherry picked from commit 2def073dc0
2024-09-24 13:25:38 +00:00
Guillaume Rivier
c05fc67320
GNATSAS: Replace mode with timeline switch in "Regenerate report" menu
...
This preserves backward-compatibility after moving analysis options
out of the report subcommand.
2024-09-17 00:35:13 +00:00
Anthony Leonardo Gracio
7d4055cb0d
Change LSP semantic highligting's preference label
...
And documentation.
For eng/ide/gnatstudio#379
2024-09-12 11:47:33 +00:00
Andry Ogorodnik
0f52c281c2
Implementation of textDocument/semanticTokens requests
2024-09-09 15:26:33 +00:00
Anthony Leonardo Gracio
7ba0472f75
Remove gpr_ls* logs according to preference
...
Closes eng/ide/gnatstudio#373
2024-09-05 14:03:39 +00:00
Andry Ogorodnik
22aca2d75d
Fix locations removing
2024-08-29 12:37:55 +00:00
Boulanger
8fb680d8b4
Defensive code in omnisearch for missing source directory
...
Closes eng/ide/gnatstudio#356
2024-08-07 08:30:40 +00:00
Andry Ogorodnik
0f15fff2b8
Fix GNATSAS integration
2024-07-24 16:02:16 +00:00
Boulanger
ea4c9d139a
Filter pretty print preferences depending on the engine
...
Rename Ident_Casing into Identifier_Casing because it was
to close to Indent_Casing.
Include a test.
Closes eng/ide/gnatstudio#140
2024-07-17 13:07:24 +00:00
Boulanger
099d52ac02
Reuse python highlighter engine to generate markup on a string
...
Also an Ada procedure using it.
Add tests.
For eng/ide/gnatstudio#300
2024-07-16 17:40:13 +02:00
Andry Ogorodnik
81664c99ea
Show all nested messages in the tooltip for the GNATSAS message
2024-07-03 12:10:06 +00:00
Anthony Leonardo Gracio
1b5338b319
Replace usage of deprecated Gtk.Stock package
...
For eng/ide/gnatstudio#330
2024-06-26 09:52:31 +00:00
Vadim Godunko
2220a7599c
Replace access to String by Virtual_String.
2024-06-26 09:36:29 +00:00
Vadim Godunko
342543ccc1
Internationalization subprogram with Virtual_String...
...
... and fix to translate complete messages, not just first line.
2024-06-26 09:36:29 +00:00
Vadim Godunko
abb3c1f7f3
Use Virtual_String in dialogs.
2024-06-26 09:36:29 +00:00
Nicolas Setton
67175bb0ce
Add a tty to processes that are attached to a console
...
... So we can benefit from the interpretation of terminal escape
sequences and control characters in the console.
Add a test.
Fixes #325
2024-06-12 14:33:20 +00:00
Boulanger
e071080f82
Improve detection of modification on disk
...
And fix GPS.EditorBuffer.get(force=True) to force reload the
current editor.
Include a test.
For eng/ide/gnatstudio#326
2024-06-11 12:35:00 +00:00
Vadim Godunko
6adbd8e50d
Improve a bit formatting of the documentation.
2024-06-10 09:15:10 +00:00
Vadim Godunko
ce9b04a58e
Minor reformatting and fixes.
2024-06-10 09:15:10 +00:00
Vadim Godunko
70b4e6f3d1
Reformat code with black.
2024-06-06 12:20:22 +00:00
Anthony Leonardo Gracio
cf8ba1acbd
Fix style issues
...
For eng/ide/ada_language_server#1159
2024-06-06 08:57:32 +00:00
Anthony Leonardo Gracio
6eb4f17a0a
Add a preference for the 'ada.insertWithClause' ALS flag
...
To enable/disable automatic insertion of missing with-clauses
on completion.
For eng/ide/ada_language_server#1159
2024-06-06 08:57:32 +00:00
Anthony Leonardo Gracio
7200a946c5
Avoid moving the cursor on TextEdits
...
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
2024-06-06 08:57:32 +00:00
