34 |
~ScriptEditor(); |
~ScriptEditor(); |
35 |
void setScript(gig::Script* script); |
void setScript(gig::Script* script); |
36 |
|
|
37 |
|
sigc::signal<void, gig::Script*> signal_script_to_be_changed; |
38 |
|
sigc::signal<void, gig::Script*> signal_script_changed; |
39 |
|
|
40 |
// implementation for abstract methods of interface class "ManagedWindow" |
// implementation for abstract methods of interface class "ManagedWindow" |
41 |
virtual Settings::Property<int>* windowSettingX() { return &Settings::singleton()->scriptEditorWindowX; } |
virtual Settings::Property<int>* windowSettingX() { return &Settings::singleton()->scriptEditorWindowX; } |
42 |
virtual Settings::Property<int>* windowSettingY() { return &Settings::singleton()->scriptEditorWindowY; } |
virtual Settings::Property<int>* windowSettingY() { return &Settings::singleton()->scriptEditorWindowY; } |
98 |
#endif |
#endif |
99 |
bool on_motion_notify_event(GdkEventMotion* e); |
bool on_motion_notify_event(GdkEventMotion* e); |
100 |
bool onWindowDelete(GdkEventAny* e); |
bool onWindowDelete(GdkEventAny* e); |
101 |
|
void onMenuChangeFontSize(); |
102 |
|
int currentFontSize() const; |
103 |
|
void setFontSize(int size, bool save); |
104 |
}; |
}; |
105 |
|
|
106 |
#endif // GIGEDIT_SCRIPTEDITOR_H |
#endif // GIGEDIT_SCRIPTEDITOR_H |