Commit b86715f7 authored by Alain Takoudjou's avatar Alain Takoudjou

fix switch menu title in editor

parent 11ebeb16
......@@ -106,12 +106,12 @@ $(document).ready(function () {
function switchContent() {
if (!softwareDisplay) {
$("span.swith_btn").empty();
$("span.swith_btn").append("This project");
$("span.swith_btn").append("Workspace");
$('#fileTreeFull').show();
$('#fileTree').hide();
} else {
$("span.swith_btn").empty();
$("span.swith_btn").append("Workspace");
$("span.swith_btn").append("This project");
$('#fileTree').show();
$('#fileTreeFull').hide();
}
......
......@@ -41,7 +41,7 @@
<div id="software_folder">
<div>
<ul class='box_header'>
<li id="switch"><span class="swith_btn" title="Switch between differents file source">Workspace</span></li>
<li id="switch"><span class="swith_btn" title="Switch between differents file source">This project</span></li>
<li id="save"><span class="save_btn" title="Save current file. Hint: Use Ctrl+S">Save</span></li>
<li>
<h2>
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment