Marco Pesenti Gritti 678cab55f9 Implement a simple box group and use it for the dynamic panels

2006-09-09 11:43:52 +02:00

..

__init__.py

…

BottomPanel.py

Implement a simple box group and use it for the dynamic panels

2006-09-09 11:43:52 +02:00

Frame.py

Implement a simple box group and use it for the dynamic panels

2006-09-09 11:43:52 +02:00

Makefile.am

…

PanelWindow.py

…

RightPanel.py

Implement a simple box group and use it for the dynamic panels

2006-09-09 11:43:52 +02:00

TopPanel.py

More fixes

2006-09-08 10:38:45 +02:00