eiffelstudio - Revision 103511: /trunk/Src/library/docking/implementation