From 729a0d6a622b91e24e39a66e32a571b7039fd03b Mon Sep 17 00:00:00 2001
From: Arjit Chaudhary <arjit.c@gmail.com>
Date: Mon, 8 Feb 2016 22:51:09 +0530
Subject: [PATCH] Merge launch, SSH, telnet and settings into 1 dropdown

Screenshot: http://i.imgur.com/vV30EKQ.png
---
 html/pages/device.inc.php | 22 ++++++++++++++--------
 1 file changed, 14 insertions(+), 8 deletions(-)

diff --git a/html/pages/device.inc.php b/html/pages/device.inc.php
index 94a2968227..2d6b4db36d 100644
--- a/html/pages/device.inc.php
+++ b/html/pages/device.inc.php
@@ -388,19 +388,25 @@ if (device_permitted($vars['device']) || $check_device == $vars['device']) {
         }
 
 
-        echo '<li style="float: right;"><a href="https://'.$device['hostname'].'"><img src="images/16/http.png" alt="https" title="Launch browser to https://'.$device['hostname'].'" border="0" width="16" height="16" target="_blank"></a></li>
-            <li style="float: right;"><a href="ssh://'.$device['hostname'].'"><img src="images/16/ssh.png" alt="ssh" title="SSH to '.$device['hostname'].'" border="0" width="16" height="16"></a></li>
-            <li style="float: right;"><a href="telnet://'.$device['hostname'].'"><img src="images/16/telnet.png" alt="telnet" title="Telnet to '.$device['hostname'].'" border="0" width="16" height="16"></a></li>';
-
-        if ($_SESSION['userlevel'] >= '7') {
-            echo '<li class="'.$select['edit'].'" style="float: right;">
+        echo '<div class="dropdown" style="float: right;">
+              <button class="btn btn-default dropdown-toggle" type="button" data-toggle="dropdown"><i class="fa fa-cog"></i>
+              <span class="caret"></span></button>
+              <ul class="dropdown-menu">
+                <li><a href="https://'.$device['hostname'].'"><img src="images/16/http.png" alt="https" title="Launch browser to https://'.$device['hostname'].'" border="0" width="16" height="16" target="_blank"> Launch</a></li>
+                <li><a href="ssh://'.$device['hostname'].'"><img src="images/16/ssh.png" alt="ssh" title="SSH to '.$device['hostname'].'" border="0" width="16" height="16"> SSH</a></li>
+                 <li><a href="telnet://'.$device['hostname'].'"><img src="images/16/telnet.png" alt="telnet" title="Telnet to '.$device['hostname'].'" border="0" width="16" height="16"> Telnet</a></li>';
+              if ($_SESSION['userlevel'] >= '7') {
+                echo '<li>
                 <a href="'.generate_device_url($device, array('tab' => 'edit')).'">
                 <img src="images/16/wrench.png" align="absmiddle" border="0" />
+                 Edit
                 </a>
                 </li>';
-        }
-
+                }
+              echo '</ul>
+            </div>';
         echo '</ul>';
+        
     }//end if
 
     if (device_permitted($device['device_id']) || $check_device == $vars['device']) {