From c60af146dc5b615b9c24d7e0e69ed97768f91953 Mon Sep 17 00:00:00 2001 From: Hanoh Haim Date: Wed, 18 May 2016 20:42:45 +0300 Subject: [PATCH] another TOC fix that does not work --- ws_main.py | 49 +++++++++++++++++++++++++++++++++++++++++++++++-- 1 file changed, 47 insertions(+), 2 deletions(-) diff --git a/ws_main.py b/ws_main.py index 2ac89800..7e676224 100755 --- a/ws_main.py +++ b/ws_main.py @@ -278,6 +278,51 @@ TOC_HEAD = """
+ + + +
""" @@ -410,7 +455,7 @@ TOC_END = """ .jstree-clicked{ - color: green !important; + color: white !important; } @@ -564,7 +609,7 @@ TOC_END = """ // Close TOC by default if it is mobile function checkMobile(){ if(isMobileDevice()){ - closTOC(); + isOpen=false; $(".ui-resizable-e").hide(); } } -- 2.16.6