From 26fa796074740f86cb4cc3a80490f2bfcf9c057c Mon Sep 17 00:00:00 2001
From: Kurt Hindenburg <kurt.hindenburg@gmail.com>
Date: Wed, 17 Jul 2019 11:07:24 -0400
Subject: [PATCH] Use empty() instead of size() for emptiness

---
 src/ViewManager.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ViewManager.cpp b/src/ViewManager.cpp
index 27dd3cf61..e490bb81e 100644
--- a/src/ViewManager.cpp
+++ b/src/ViewManager.cpp
@@ -483,7 +483,7 @@ void ViewManager::sessionFinished()
         emit unplugController(_pluggedController);
     }
 
-    if (_sessionMap.size() > 0) {
+    if (!_sessionMap.empty()) {
         updateTerminalDisplayHistory(view, true);
         focusAnotherTerminal(toplevelSplitter);
         toggleActionsBasedOnState();