diff options
Diffstat (limited to 'static/partials/editor.html')
| -rw-r--r-- | static/partials/editor.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/static/partials/editor.html b/static/partials/editor.html index 536fb15..15b6e20 100644 --- a/static/partials/editor.html +++ b/static/partials/editor.html @@ -17,6 +17,7 @@ <div id="explorer" ng-class="{hidden: toc.lessons[lessonId].Pages[curPage-1].Files.length==0}"> <a class="menu-button" ng-repeat="f in toc.lessons[lessonId].Pages[curPage-1].Files" ng-click="openFile($index)" ng-class="{active: $index==curFile}">{{f.Name}}</a> <a syntax-checkbox ng-class="{active: editor.syntax}" class="menu-button syntax-checkbox">Syntax</a> + <a imports-checkbox ng-class="{active: editor.imports}" class="menu-button imports-checkbox">Imports</a> </div> <div class="relative-content" ng-class="{hidden: toc.lessons[lessonId].Pages[curPage-1].Files.length==0}"> |