Marco Pesenti Gritti 7232f0e0ea Check there is actually a current activity before getting his id		2006-09-08 18:23:16 +02:00
..
__init__.py
BottomPanel.py
Frame.py
Makefile.am
PanelWindow.py
RightPanel.py	Check there is actually a current activity before getting his id	2006-09-08 18:23:16 +02:00
TopPanel.py