1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
class PyWidget
: DockWidget
{
%TypeHeaderCode
#include <BALL/VIEW/WIDGETS/pyWidget.h>
%End
public:
static Size countInstances();
static PyWidget* getInstance(Position);
PyWidget() throw();
~PyWidget() throw();
virtual void initializeWidget(MainControl&) throw();
virtual void finalizeWidget(MainControl&) throw();
bool toAbortScript() throw();
bool openFile(const String&, bool, bool = false) throw();
bool runCurrentScript();
void abortScript();
void loadScript();
void execScript();
void saveScript();
void clearScript();
void map(String, String, String);
void unmap(String, String);
private:
PyWidget(const PyWidget&);
};
|
