From 801597f91f0b1c8ddda57ff36cd3fe69d65cd40c Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Sun, 29 Dec 2013 14:32:15 +0000
Subject: [PATCH] Link to plugins manager added

---
 index.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/index.php b/index.php
index 8bf7c21..f672db2 100644
--- a/index.php
+++ b/index.php
@@ -101,6 +101,7 @@ window.onbeforeunload = function() {
 Color picker"><img src="images/color-picker.png" style="cursor: pointer" alt="Color Picker"></a><br><br>
 		<a nohref onClick="top.ICEcoder.openTerminal()" title="Terminal"><img src="images/terminal.png" style="cursor: pointer" alt="Terminal"></a><br><br>
 		<?php echo $pluginsDisplay; ?>
+		<a nohref onclick="top.ICEcoder.pluginsManager()" title="Plugins Manager" style="color: #fff; cursor: pointer">+ / -</a>
 	</div>
 </div>