file manager fixes

Author: serghey-rodin

web/css/styles.min.css

@@ -2250,7 +2250,7 @@ div.l-content > div.l-separator:nth-of-type(4) {
   height: 16px;
   overflow: hidden;
   padding-top: 6px;
-  width: 620px;
+  width: 593px;
 }
 
 .vst-ok {

web/edit/file/index.php

@@ -15,6 +15,9 @@
     $panel = json_decode(implode('', $output), true);
 }
 */
+
+
+
 /*
 // Check user session
 if ((!isset($_SESSION['user'])) && (!defined('NO_AUTH_REQUIRED'))) {
@@ -24,6 +27,14 @@
 }
 */
 
+// Check module activation
+if (!$_SESSION['FILEMANAGER_KEY']) {
+    $_SESSION['request_uri'] = $_SERVER['REQUEST_URI'];
+    header("Location: /login/");
+    exit;
+}
+
+
 ?>
 
 <title>Edit file <?= htmlspecialchars($_REQUEST['path']) ?></title>

web/templates/file_manager/main.php

@@ -267,10 +267,13 @@
                 var src = $(item).find('.source').val();
                 src = $.parseJSON(src);
                 var tab = FM.getTabLetter(FM.CURRENT_TAB);
+
                 if (FM.itemIsArchieve(src)) {
-                    $('.menu-'+tab+' .extract-btn').show();
-                }
-                else {
+                    if($('.menu-'+tab+' .archive.button').first().is(':visible'))
+                        $('.menu-'+tab+' .extract-btn').first().show();
+                    else
+                        $('.menu-'+tab+' .extract-btn.small').show();
+                } else {
                     $('.menu-'+tab+' .extract-btn').hide();
                 }
             }