From 67c048d5cc08ccf0cc2d2ffee11a74c4ce11c3d4 Mon Sep 17 00:00:00 2001
From: Jonah Graham <jonah@kichwacoders.com>
Date: Fri, 26 Feb 2021 14:10:10 -0500
Subject: [PATCH] Cosmetics.

Change-Id: I130139bc6f3f711976f988b150400f822f23bea8
---
 .../org/eclipse/tm/terminal/view/ui/tabs/TabFolderManager.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/terminal/plugins/org.eclipse.tm.terminal.view.ui/src/org/eclipse/tm/terminal/view/ui/tabs/TabFolderManager.java b/terminal/plugins/org.eclipse.tm.terminal.view.ui/src/org/eclipse/tm/terminal/view/ui/tabs/TabFolderManager.java
index 293cc256af6..bd287945622 100644
--- a/terminal/plugins/org.eclipse.tm.terminal.view.ui/src/org/eclipse/tm/terminal/view/ui/tabs/TabFolderManager.java
+++ b/terminal/plugins/org.eclipse.tm.terminal.view.ui/src/org/eclipse/tm/terminal/view/ui/tabs/TabFolderManager.java
@@ -277,7 +277,8 @@ public class TabFolderManager extends PlatformObject implements ISelectionProvid
 			try {
 				terminal.setEncoding(encoding);
 			} catch (UnsupportedEncodingException e) {
-				/* ignored on purpose */ }
+				/* ignored on purpose */
+			}
 			// Associated the terminal with the tab item
 			item.setData(terminal);
 			// Associated the custom data node with the tab item (if any)