Andry Ogorodnik fb878cbe58 Fix the source view's side area tooltip flipping ...

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

2026-01-15 12:40:45 +02:00

..

core

Update copyright year for GS sources

2026-01-05 12:41:13 +00:00

ui/src

Fix the source view's side area tooltip flipping

2026-01-15 12:40:45 +02:00

.cvsignore

Fix permissions

2009-11-23 20:11:05 +00:00

common_ui.gpr

Add dependency from vss_os.gpr

2025-09-19 10:04:04 +00:00

common.gpr.in

Set up coverage reports in the CI

2025-07-29 13:27:12 +00:00