# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1538368815 25200
# Node ID 2fc9abd930235fbd28462f1f38ae76b5ee3230b0
# Parent  bca920563cfb14f133e9425e3920ea4b87ef3b5c
web: Make the lock icon open and close as the user pins/unpins the sidebar.

diff -r bca920563cfb -r 2fc9abd93023 wikked/assets/js/wikked/app.js
--- a/wikked/assets/js/wikked/app.js	Sun Sep 30 21:39:25 2018 -0700
+++ b/wikked/assets/js/wikked/app.js	Sun Sep 30 21:40:15 2018 -0700
@@ -77,6 +77,17 @@
     },
     _toggleWikiMenuPin: function(onOff) {
         $('#wiki-menu-pin').toggleClass('wiki-menu-pin-active', onOff);
+        var lockIcon = $('#wiki-menu-pin>span');
+        if (onOff)
+        {
+            lockIcon.addClass('fa-lock');
+            lockIcon.removeClass('fa-unlock');
+        }
+        else
+        {
+            lockIcon.addClass('fa-unlock');
+            lockIcon.removeClass('fa-lock');
+        }
     },
     _searchQueryFocused: function(e) {
         this.isMenuActiveLocked = true;
diff -r bca920563cfb -r 2fc9abd93023 wikked/templates/nav.html
--- a/wikked/templates/nav.html	Sun Sep 30 21:39:25 2018 -0700
+++ b/wikked/templates/nav.html	Sun Sep 30 21:40:15 2018 -0700
@@ -3,7 +3,7 @@
 </a>
 <nav id="wiki-menu" role="navigation" class="pure-menu pure-menu-open{%if not nav.hide_menu%} wiki-menu-active{%endif%}">
     <div id="wiki-menu-pin" title="Pin/unpin the wiki menu.">
-        <span class="fa fa-lock"></span>
+        <span class="fa fa-{%if not nav.hide_menu%}lock{%else%}unlock{%endif%}"></span>
     </div>
     <ul class="pure-menu-list">
         {%if nav.url_home%}<li class="pure-menu-item"><a href="{{nav.url_home}}"><span class="fa fa-home"></span> Home</a></li>{%endif%}