diff options
| author | Javier <dev.git@javispedro.com> | 2014-05-17 19:53:53 +0200 |
|---|---|---|
| committer | Javier <dev.git@javispedro.com> | 2014-05-17 19:53:53 +0200 |
| commit | 14d288511323d4f384d4764ab25a42693ff19f4a (patch) | |
| tree | d69907ed23d9df328459b598c0c8f914782013cd /module/main.c | |
| parent | fae72947043ae3b1627dac77b3c42bf2e1dbbd09 (diff) | |
| download | topmenu-gtk-14d288511323d4f384d4764ab25a42693ff19f4a.tar.gz topmenu-gtk-14d288511323d4f384d4764ab25a42693ff19f4a.zip | |
gtk3 client library + module now hackishly working
Diffstat (limited to 'module/main.c')
| -rw-r--r-- | module/main.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/module/main.c b/module/main.c index 42ea332..3672fd5 100644 --- a/module/main.c +++ b/module/main.c @@ -441,7 +441,7 @@ hijacked_application_window_realize (GtkWidget *widget) if (pre_hijacked_application_window_realize != NULL) (* pre_hijacked_application_window_realize) (widget); - gtk_window_get_window_data (GTK_WINDOW (widget)); + topmenu_get_window_data (GTK_WINDOW (widget)); } #endif @@ -536,7 +536,7 @@ hijacked_menu_bar_get_preferred_width (GtkWidget *widget, if (pre_hijacked_menu_bar_get_preferred_width != NULL) (* pre_hijacked_menu_bar_get_preferred_width) (widget, minimum_width, natural_width); - if (gtk_widget_shell_shows_menubar (widget)) + if (topmenu_should_hide_menubar(widget)) { *minimum_width = 0; *natural_width = 0; @@ -553,7 +553,7 @@ hijacked_menu_bar_get_preferred_height (GtkWidget *widget, if (pre_hijacked_menu_bar_get_preferred_height != NULL) (* pre_hijacked_menu_bar_get_preferred_height) (widget, minimum_height, natural_height); - if (gtk_widget_shell_shows_menubar (widget)) + if (topmenu_should_hide_menubar(widget)) { *minimum_height = 0; *natural_height = 0; @@ -571,7 +571,7 @@ hijacked_menu_bar_get_preferred_width_for_height (GtkWidget *widget, if (pre_hijacked_menu_bar_get_preferred_width_for_height != NULL) (* pre_hijacked_menu_bar_get_preferred_width_for_height) (widget, height, minimum_width, natural_width); - if (gtk_widget_shell_shows_menubar (widget)) + if (topmenu_should_hide_menubar(widget)) { *minimum_width = 0; *natural_width = 0; @@ -589,7 +589,7 @@ hijacked_menu_bar_get_preferred_height_for_width (GtkWidget *widget, if (pre_hijacked_menu_bar_get_preferred_height_for_width != NULL) (* pre_hijacked_menu_bar_get_preferred_height_for_width) (widget, width, minimum_height, natural_height); - if (gtk_widget_shell_shows_menubar (widget)) + if (topmenu_should_hide_menubar(widget)) { *minimum_height = 0; *natural_height = 0; |