Codechange: replace x.size() > 0 with !x.empty()

2023-10-20 20:18:31 +02:00
parent c9276c2959
commit f16399f4c9
15 changed files with 23 additions and 23 deletions
--- a/src/story_gui.cpp
+++ b/src/story_gui.cpp
@@ -877,7 +877,7 @@ public:
 			if (!_story_page_pool.IsValidID(this->selected_page_id)) {
 				this->selected_page_id = INVALID_STORY_PAGE;
 			}
-			if (this->selected_page_id == INVALID_STORY_PAGE && this->story_pages.size() > 0) {
+			if (this->selected_page_id == INVALID_STORY_PAGE && !this->story_pages.empty()) {
 				/* No page is selected, but there exist at least one available.
 				 * => Select first page.
 				 */