eiffelstudio-public - Revision 107750: /branches/Eiffel_56/Src/bench/Eiffel/interface/new_graphical/widgets/notebook_bar

• ..
• es_dockable_dialog.e
• es_dockable_notebook.e
• es_notebook.e
• es_notebook_attachable.e
• es_notebook_item.e