Adjust text of notebook heading in new menu

Closes jupyter/jupyter#97
pull/1180/head
Thomas Kluyver 10 years ago
parent 291e0c101e
commit c424d61558

@ -70,7 +70,7 @@ data-terminals-available="{{terminals_available}}"
</li>
{% endif %}
<li role="presentation" class="divider"></li>
<li role="presentation" class="dropdown-header" id="notebook-kernels">Notebooks</li>
<li role="presentation" class="dropdown-header" id="notebook-kernels">Notebook:</li>
</ul>
</div>
<div class="btn-group">

Loading…
Cancel
Save