diff options
author | Javier <dev.git@javispedro.com> | 2014-12-27 16:15:48 +0100 |
---|---|---|
committer | Javier <dev.git@javispedro.com> | 2014-12-27 16:15:48 +0100 |
commit | ffc74b3a945b603ba9a0c1936f71b47e63ba6672 (patch) | |
tree | 0a88a012cc846a2e9f2aac1bc4cba60c6707f3cf /module/main.c | |
parent | 1df08e2e2d45e1a0e5514c0f4c23613045f99475 (diff) | |
download | topmenu-gtk-ffc74b3a945b603ba9a0c1936f71b47e63ba6672.tar.gz topmenu-gtk-ffc74b3a945b603ba9a0c1936f71b47e63ba6672.zip |
move gtk3 privates to a separate header
Diffstat (limited to 'module/main.c')
-rw-r--r-- | module/main.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/module/main.c b/module/main.c index 12ce49c..2df60b2 100644 --- a/module/main.c +++ b/module/main.c @@ -93,9 +93,6 @@ count_container_items (GtkContainer *container) return count; } - - - static gboolean topmenu_should_hide_menubar_on_window (GtkWindow *window) { |