For this tooltip we did not set an area where the cursor is
allowed to move without redrawing the tooltip. This led to
hiding/showing it constantly on each mouse micro movement.
This flipping can be seen by the user on a slow system or
a remote setup.
For eng/ide/gnatstudio#598
This is needed in order to prepare the transition to GPR2.
Project edition should be done by editing the .gpr files now, with
the help of the Ada Language Server.
Documentation and comments have been updated accordingly and tests
checking the Project Properties GUI have been removed.
For eng/ide/gnatstudio#569
Add a type to the argument of __gps_subdirectories_count and
a hand crafted prototype for __gnat_stat matching what the call
in __gps_subdirectories_count does.
This fixes compilation errors in builds with gcc >= 14, which
is stricter than its predecessors on such aspects.
While the change brings an improvement compared to the previous
situation (more explicit on what the code does), arranging to
access adaint.h would be better approach as the signature of the
actual __gnat_stat function varies across platforms to account
for stat vs stat64 differences. Add a comment to that effect.
(cherry picked from commit 19756e9224)
