From c673beab9d5d59d971988401c68e4e401609c9d7 Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Wed, 11 Sep 2013 16:29:01 +0100
Subject: [PATCH] Old tools & plugins removed from header

These are now in their own side panel pane, not in header
---
 index.php | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/index.php b/index.php
index e8da6bf..f899212 100644
--- a/index.php
+++ b/index.php
@@ -133,13 +133,6 @@ Color picker"><img src="images/color-picker.png" style="cursor: pointer" alt="Co
 </div>
 
 <div id="header" class="header" onContextMenu="return false">
-	<div class="tools">
-		<a nohref onClick="top.ICEcoder.showColorPicker(top.document.getElementById('color') ? top.document.getElementById('color').value : '#123456')" title="Farbtastic
-Color picker"><img src="images/color-picker.png" style="margin-top: 3px; cursor: pointer" alt="Color Picker"></a>
-	</div>
-	<div class="plugins" id="pluginsContainer">
-	<?php echo $pluginsDisplay; ?>
-	</div>
 	<div class="logout"><a href="javascript:top:ICEcoder.logout()">logout</a> :</div>
 	<img src="images/help.gif" class="helpIcon" alt="Help" title="Help" onClick="ICEcoder.helpScreen()">
 	<img src="images/settings.gif" class="settingsIcon" alt="Settings" title="Settings" onClick="ICEcoder.settingsScreen()">