diff options
| author | NatsuDrag9 | 2018-06-28 17:29:41 +0530 |
|---|---|---|
| committer | GitHub | 2018-06-28 17:29:41 +0530 |
| commit | 2bd608013578880800ba957fff3f318339de0ae3 (patch) | |
| tree | 1ed4285cf392ae4daca82370d1d5b97d532d1ca1 /ldmicro/lib/linuxUI/linuxUI.cpp | |
| parent | 76decc9caf56354a9e12e99d441cac6bb9a1f3c8 (diff) | |
| parent | f573d931f1777e47e8ad5e5415b7170dfa0af579 (diff) | |
| download | LDMicroGtk-2bd608013578880800ba957fff3f318339de0ae3.tar.gz LDMicroGtk-2bd608013578880800ba957fff3f318339de0ae3.tar.bz2 LDMicroGtk-2bd608013578880800ba957fff3f318339de0ae3.zip | |
Merge pull request #32 from NatsuDrag9/GUI_port
Gui port
Diffstat (limited to 'ldmicro/lib/linuxUI/linuxUI.cpp')
| -rw-r--r-- | ldmicro/lib/linuxUI/linuxUI.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ldmicro/lib/linuxUI/linuxUI.cpp b/ldmicro/lib/linuxUI/linuxUI.cpp index d7248b7..64f7690 100644 --- a/ldmicro/lib/linuxUI/linuxUI.cpp +++ b/ldmicro/lib/linuxUI/linuxUI.cpp @@ -531,5 +531,8 @@ BOOL KillTimer(HWID hWid, UINT uIDEvent) void DestroyWindow (HWID widget) { - gtk_widget_destroy (widget); + if (GTK_IS_WIDGET(widget)) + { + gtk_widget_destroy (widget); + } } |