diff options
| author | Javier <dev.git@javispedro.com> | 2015-02-05 02:08:41 +0100 |
|---|---|---|
| committer | Javier <dev.git@javispedro.com> | 2015-02-05 02:08:41 +0100 |
| commit | c28922d801d81a6be9bbcb0212a12fab8a12f392 (patch) | |
| tree | d7909f7858edaa069e303aa72565bb8f960a14b8 | |
| parent | 1dc127856d0ac52905bd3f647c9f224d0030f3f0 (diff) | |
| download | topmenu-gtk-c28922d801d81a6be9bbcb0212a12fab8a12f392.tar.gz topmenu-gtk-c28922d801d81a6be9bbcb0212a12fab8a12f392.zip | |
add splashscreens too
| -rw-r--r-- | module/data.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/module/data.c b/module/data.c index 8962287..824bd8f 100644 --- a/module/data.c +++ b/module/data.c @@ -52,6 +52,7 @@ topmenu_is_window_blacklisted (GtkWindow *window) switch (gtk_window_get_type_hint (window)) { case GDK_WINDOW_TYPE_HINT_MENU: case GDK_WINDOW_TYPE_HINT_TOOLBAR: + case GDK_WINDOW_TYPE_HINT_SPLASHSCREEN: case GDK_WINDOW_TYPE_HINT_DOCK: case GDK_WINDOW_TYPE_HINT_DROPDOWN_MENU: case GDK_WINDOW_TYPE_HINT_POPUP_MENU: |