diff options
| author | Lionel AINS <lains@caramail.com> | 2018-11-17 09:16:04 +0100 |
|---|---|---|
| committer | Lionel AINS <lains@caramail.com> | 2018-11-17 09:16:04 +0100 |
| commit | 534c50ede66c6c8c3cc763b4d006d45dbd7d07a7 (patch) | |
| tree | e2c679b8780dc52aa7a97ee3394c7acc45d30378 | |
| parent | 69d43fc78fee6cf5d77a04c24881ef9ff52e169a (diff) | |
| download | navit-534c50ede66c6c8c3cc763b4d006d45dbd7d07a7.tar.gz | |
Fixing indentation
| -rw-r--r-- | navit/gui/internal/gui_internal_menu.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/navit/gui/internal/gui_internal_menu.c b/navit/gui/internal/gui_internal_menu.c index df231f849..0bddee6dd 100644 --- a/navit/gui/internal/gui_internal_menu.c +++ b/navit/gui/internal/gui_internal_menu.c @@ -119,7 +119,7 @@ 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 the foremost widget is a HTML menu, reload & redraw it from its href using gui_internal_widget_reload_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"); |