Anthony Leonardo Gracio 3cb1d3b775 Simplify the Interactive_Consoles API ...

In particular use the GPS.Kernel.Message_Type everywhere in
order to highlight different kinds of messages.

Add an automatic test for this.

For eng/ide/gnatstudio#183

2023-12-14 16:11:51 +00:00

..

obj

Added .gpsrcs generated by local_history.py

2006-11-24 10:51:54 +00:00

src

Simplify the Interactive_Consoles API

2023-12-14 16:11:51 +00:00

views.gpr

T228-017: LSP provider for Call Trees view.

2020-03-12 17:52:17 +01:00