##// END OF EJS Templates
Merge pull request #7552 from minrk/terminal-unavailable...
Min RK -
r20111:668d1ee3 merge
parent child Browse files
Show More
@@ -53,6 +53,10 b' data-terminals-available="{{terminals_available}}"'
53 <li role="presentation" id="new-terminal">
53 <li role="presentation" id="new-terminal">
54 <a role="menuitem" tabindex="-1" href="#">Terminal</a>
54 <a role="menuitem" tabindex="-1" href="#">Terminal</a>
55 </li>
55 </li>
56 {% else %}
57 <li role="presentation" id="new-terminal-disabled" class="disabled">
58 <a role="menuitem" tabindex="-1" href="#">Terminals Unavailable</a>
59 </li>
56 {% endif %}
60 {% endif %}
57 <li role="presentation" class="divider"></li>
61 <li role="presentation" class="divider"></li>
58 <li role="presentation" class="dropdown-header" id="notebook-kernels">Notebooks</li>
62 <li role="presentation" class="dropdown-header" id="notebook-kernels">Notebooks</li>
@@ -97,13 +101,15 b' data-terminals-available="{{terminals_available}}"'
97 </div>
101 </div>
98 <div id="collapseOne" class=" collapse in">
102 <div id="collapseOne" class=" collapse in">
99 <div class="panel-body">
103 <div class="panel-body">
100 {% if terminals_available %}
104 <div id="terminal_list">
101 <div id="terminal_list">
105 <div id="terminal_list_header" class="row list_header">
102 <div id="terminal_list_header" class="row list_header">
106 {% if terminals_available %}
103 <div> There are no terminals running. </div>
107 <div> There are no terminals running. </div>
104 </div>
108 {% else %}
105 </div>
109 <div> Terminals are unavailable. </div>
106 {% endif %}
110 {% endif %}
111 </div>
112 </div>
107 </div>
113 </div>
108 </div>
114 </div>
109 </div>
115 </div>
General Comments 0
You need to be logged in to leave comments. Login now