From 135d7b6b10b6847b2ba93d250791ef4bf42a0f8c Mon Sep 17 00:00:00 2001
From: Tentone <tentone@outlook.com>
Date: Tue, 15 May 2018 08:42:45 +0100
Subject: [PATCH] Clean up

---
 source/editor/ui/TabButton.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/source/editor/ui/TabButton.js b/source/editor/ui/TabButton.js
index 7894d99af..02f67b49c 100644
--- a/source/editor/ui/TabButton.js
+++ b/source/editor/ui/TabButton.js
@@ -8,7 +8,6 @@ function TabButton(parent, tab)
 	this.element.style.cursor = "pointer";
 	this.element.style.boxSizing = "border-box";
 	this.element.style.backgroundColor = Editor.theme.buttonColor;
-	//this.element.style.borderRadius = "5px 5px 0px 0px";
 
 	//Tab
 	this.tab = tab;