diff options
author | Robin Gareus <robin@gareus.org> | 2019-10-31 00:22:26 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2019-10-31 00:22:26 +0100 |
commit | 5e4d641488cbad185a6f1fd9d3b8158b7de994f2 (patch) | |
tree | 95d7480d6110695adbcf7e5575781def6ca288fc /libs/gtkmm2ext | |
parent | 98db30efb16f01794545caa136ff9c8ec15a2a9d (diff) |
NO-OP: whitespace
Diffstat (limited to 'libs/gtkmm2ext')
-rw-r--r-- | libs/gtkmm2ext/utils.cc | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/libs/gtkmm2ext/utils.cc b/libs/gtkmm2ext/utils.cc index adba2c0647..c3620bbba4 100644 --- a/libs/gtkmm2ext/utils.cc +++ b/libs/gtkmm2ext/utils.cc @@ -395,12 +395,12 @@ _position_menu_anchored (int& x, int& y, bool& push_in, * c) align the bottom of the menu with the top of the button if there is * enough room above the button; * d) try aligning the selected menu item again, this time with scrollbars; - * e) if there is no selected menu item, align the menu above the button or - * below the button, depending on where there is more space. - * For the d) and e) cases, the menu contents will be aligned as told, but - * the menu itself will be bigger than that to accomodate the menu items - * that are scrolled out of view, thanks to |push_in = true|. - * */ + * e) if there is no selected menu item, align the menu above the button or + * below the button, depending on where there is more space. + * For the d) and e) cases, the menu contents will be aligned as told, but + * the menu itself will be bigger than that to accomodate the menu items + * that are scrolled out of view, thanks to |push_in = true|. + */ const MenuList& items = menu->items (); int offset = 0; |