diff options
author | Lionel AINS <lains@caramail.com> | 2018-11-17 09:09:41 +0100 |
---|---|---|
committer | Lionel AINS <lains@caramail.com> | 2018-11-17 09:09:41 +0100 |
commit | 69d43fc78fee6cf5d77a04c24881ef9ff52e169a (patch) | |
tree | ec82f0bd689e1a3dae5f66df8fd584d11b79067c /navit | |
parent | c255e9cc6c5fdfe5928213c4f642595fac111f4f (diff) | |
download | navit-69d43fc78fee6cf5d77a04c24881ef9ff52e169a.tar.gz |
Fixing indentation
Diffstat (limited to 'navit')
-rw-r--r-- | navit/gui/internal/gui_internal_menu.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/navit/gui/internal/gui_internal_menu.c b/navit/gui/internal/gui_internal_menu.c index 292749954..df231f849 100644 --- a/navit/gui/internal/gui_internal_menu.c +++ b/navit/gui/internal/gui_internal_menu.c @@ -119,7 +119,8 @@ static void gui_internal_prune_menu_do(struct gui_priv *this, struct widget *w, } else { /* Make sure the new menu we are going to display spawns the whole display (in case there was a resize while a submenu was being displayed) */ if (gui_internal_menu_needs_resizing(this, w, this->root.w, this->root.h)) { - if (!gui_internal_widget_reload_href(this,w)) { /* If the foremost widget is a HTML menu, reload & redraw it from its href */ + /* If the foremost widget is a HTML menu, reload & redraw it from its href using gui_internal_widget_reload_href() */ + if (!gui_internal_widget_reload_href(this,w)) { /* If not, resize the foremost widget */ dbg(lvl_error, "Current GUI displayed is not a menu"); dbg(lvl_error, "Will call resize with w=%d, h=%d", this->root.w, this->root.h) |