Emmanuel Briot f62577bf7b (Build_Filter): new function to ease adding new filters to view, ...

and ensure a consistent layout. In particular, there is a single
 place to change if for instance we want to show the filter options
 other than with buttons. Such filters also have a special CSS class,
 so that for instance we can use rounded corner for them as seems
 usual in most GUIs now.
(Generic_Views): a View_Record now always has a Kernel field, which
 simplifies the API a bit, and allows removing the kernel field from
 a lot of other records.
This is in preparation for adding a filter to the Outline view.
M122-025

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/branches/global/gtk3/gps@201358 936e1b1b-40f2-da11-902a-00137254ae57

2013-01-23 08:34:11 +00:00

..

obj

Fix permissions

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

src

(Build_Filter): new function to ease adding new filters to view,

2013-01-23 08:34:11 +00:00

.cvsignore

Fix permissions

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

python.gpr

Set all Object_Dir and Library_Dir attributes in projects from the value in

2010-06-08 10:45:36 +00:00