From 239c9850568c08ae7f8a36cf44e6eb778d866e91 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Krist=C3=B3f=20T=C3=B3th?= <kristof.toth@avatao.com>
Date: Wed, 7 Feb 2018 16:11:11 +0100
Subject: [PATCH] Make webide "tabs" nicer

---
 src/app/webide/webide.component.html | 6 +++++-
 src/app/webide/webide.component.scss | 8 ++++++++
 2 files changed, 13 insertions(+), 1 deletion(-)

diff --git a/src/app/webide/webide.component.html b/src/app/webide/webide.component.html
index 5bfdd7c..1cb300a 100644
--- a/src/app/webide/webide.component.html
+++ b/src/app/webide/webide.component.html
@@ -1,6 +1,10 @@
 <ul class="editor-tabs">
   <li class="editor-li" *ngFor="let file of files">
-    <button class="editor-button" (click)="selectCode(file); requestCode();">{{file}}</button>
+    <button class="btn btn-primary btn-xs"
+            [class.active]="filename === file"
+            (click)="selectCode(file); requestCode();">
+      {{file}}
+    </button>
   </li>
 </ul>
 
diff --git a/src/app/webide/webide.component.scss b/src/app/webide/webide.component.scss
index fc1c252..87e9a70 100644
--- a/src/app/webide/webide.component.scss
+++ b/src/app/webide/webide.component.scss
@@ -3,3 +3,11 @@
   width:100%;
   overflow: auto;
 }
+
+.editor-tabs {
+  list-style: none;
+}
+
+.editor-li {
+  float: left;
+}