Merge pull request #1354 from tznind/main

Fix for #1353 (tab view not refreshing in some circumstances)

Terminal.Gui/Views/TabView.cs

@@ -179,6 +179,7 @@ namespace Terminal.Gui {
 
 			if (Tabs.Any ()) {
 				tabsBar.Redraw (tabsBar.Bounds);
+				contentView.SetNeedsDisplay();
 				contentView.Redraw (contentView.Bounds);
 			}
 		}
@@ -840,4 +841,4 @@ namespace Terminal.Gui {
 		}
 		#endregion
 	}
-}
+}