Remove all dependecy from the semantic tree.
Add a provider interface to fill the model.
Simplify the model + fully use Gtkada.Tree_View capacities.
Fix a dangling pointer in Gtkada.Tree_View background scrolling.
Change-Id: I22c81492ac18c54e2e3d6f0a74494799eed8f10d
Use Switches rather than Default_Switches (which has been obsolete
for a while now).
In shared.gpr, add support for enabling link-time-optimization and
removal of unused subprograms. This is not supported
on Windows for now.
Add a new OS for "osx", since the linker switches are different.
OA15-011 (1/2)
Change-Id: I72371631eefd18cf88442c969c805e0258f4ba6e
gnatcoll_shared.gpr
This is for convenience when working with multiple branches in git:
by changing the value (in a single place) on each branch, we can keep
the build tree for each branch, and avoid extra recompilation when
changing branches. For instance, one can set Object_Dir and Library_Dir
to the following value in gnatcoll_shared.gpr (not checked in):
for Object_Dir use "obj/" & External ("GIT_BRANCH", "");
for Library_Dir use "lib/" & External ("GIT_BRANCH", "");
provided the environment variable GIT_BRANCH is set automatically every
time you change the branch (that's under control of the shell)
git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/gps@160904 936e1b1b-40f2-da11-902a-00137254ae57
