Fix menu item title that's often wrong

pull/268/merge
Lennart Kats 2017-01-17 13:19:40 +00:00
rodzic c6d5b4e13c
commit 5667bca5df
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -452,7 +452,7 @@ define(function(require, exports, module) {
var mnuSettings = tree.getElement("mnuFilesSettings");
ui.insertByIndex(mnuSettings, new ui.item({
type: "check",
caption: realRoot ? "Show Root File System" : "Show Workspace Directory",
caption: "Show Workspace Root",
checked: "state/projecttree/@showfs",
onclick: function(e) {
toggleRootFS();