From 9ed5179c2bab3e345fd7139e6510df379343d2b7 Mon Sep 17 00:00:00 2001
From: Alexandre Russo <dev@ange7.com>
Date: Mon, 19 May 2014 16:12:14 +0200
Subject: [PATCH 1/2] Add quick links in menu and set position as fixed for
 better navigation

---
 PHPCI/View/Build/view.phtml | 7 ++++++-
 public/assets/js/phpci.js   | 4 ++++
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/PHPCI/View/Build/view.phtml b/PHPCI/View/Build/view.phtml
index b73620a5..41d0ba9b 100644
--- a/PHPCI/View/Build/view.phtml
+++ b/PHPCI/View/Build/view.phtml
@@ -31,7 +31,7 @@
 
 <div class="row">
 	<div class="col-lg-3">
-        <div class="panel panel-default">
+        <div class="panel panel-default affix">
             <div class="panel-heading">
                 <h4 class="panel-title">Options</h4>
             </div>
@@ -41,6 +41,11 @@
                         <a class="list-group-item" href="<?php echo PHPCI_URL ?>build/delete/<?php print $build->getId(); ?>" id="delete-build"><i class="icon-trash"></i> Delete Build</a>
                     <?php endif; ?>
                 </ul>
+            <div class="panel-heading">
+                <h4 class="panel-title">Quick links</h4>
+            </div>
+                <ul class="list-group" id="anchorPlugins"></ul>
+
         </div>
 	</div>
 
diff --git a/public/assets/js/phpci.js b/public/assets/js/phpci.js
index 9d86b849..9e04f59d 100644
--- a/public/assets/js/phpci.js
+++ b/public/assets/js/phpci.js
@@ -416,6 +416,10 @@ var PHPCIObject = Class.extend({
         var content = $('<div></div>').attr('id', plugin.id).append(output);
         content.addClass('panel panel-default');
 
+        if(plugin.title != undefined)
+            $('<a>').attr({'class':'list-group-item', 'href':'#'+plugin.id}).html(plugin.title).appendTo($('#anchorPlugins'));
+
+
         if (plugin.title) {
             content.prepend('<div class="panel-heading"><h3 class="panel-title">'+plugin.title+'</h3></div>');
         }

From 0a32ddce017640c60568b4b1d57007f3bd8cea1d Mon Sep 17 00:00:00 2001
From: Ange7 <dev.github@ange7.com>
Date: Mon, 19 May 2014 16:42:02 +0200
Subject: [PATCH 2/2] public/assets/js/phpci.js : Fix IF syntax

public/assets/js/phpci.js : Fix IF syntax for quick links menu
---
 public/assets/js/phpci.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/public/assets/js/phpci.js b/public/assets/js/phpci.js
index 9e04f59d..ba5a37bc 100644
--- a/public/assets/js/phpci.js
+++ b/public/assets/js/phpci.js
@@ -416,9 +416,9 @@ var PHPCIObject = Class.extend({
         var content = $('<div></div>').attr('id', plugin.id).append(output);
         content.addClass('panel panel-default');
 
-        if(plugin.title != undefined)
+        if(plugin.title != undefined) {
             $('<a>').attr({'class':'list-group-item', 'href':'#'+plugin.id}).html(plugin.title).appendTo($('#anchorPlugins'));
-
+        }
 
         if (plugin.title) {
             content.prepend('<div class="panel-heading"><h3 class="panel-title">'+plugin.title+'</h3></div>');
@@ -453,4 +453,4 @@ var PHPCIObject = Class.extend({
 
         }
     })
-});
\ No newline at end of file
+});