diff options
Diffstat (limited to 'gtk/ScintillaGTK.cxx')
| -rw-r--r-- | gtk/ScintillaGTK.cxx | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gtk/ScintillaGTK.cxx b/gtk/ScintillaGTK.cxx index 349a98292..3c87be91c 100644 --- a/gtk/ScintillaGTK.cxx +++ b/gtk/ScintillaGTK.cxx @@ -1615,10 +1615,14 @@ sptr_t scintilla_send_message(ScintillaObject *sci, unsigned int iMessage, uptr_ static void scintilla_class_init (ScintillaClass *klass); static void scintilla_init (ScintillaObject *sci); +extern void Platform_Initialise(); +extern void Platform_Finalise(); + guint scintilla_get_type() { static guint scintilla_type = 0; if (!scintilla_type) { + Platform_Initialise(); static GtkTypeInfo scintilla_info = { "Scintilla", sizeof (ScintillaObject), @@ -1731,3 +1735,8 @@ void scintilla_set_id(ScintillaObject *sci, int id) { ScintillaGTK *psci = reinterpret_cast<ScintillaGTK *>(sci->pscin); psci->ctrlID = id; } + +void scintilla_release_resources(void) { + Platform_Finalise(); +} + |