Fix broken tools link, a=chris

diff --git a/src/controllers/SearchController.php b/src/controllers/SearchController.php
index c2cf9964e..152d45425 100755
--- a/src/controllers/SearchController.php
+++ b/src/controllers/SearchController.php
@@ -334,6 +334,7 @@ class SearchController extends Controller implements CrawlConstants
             $this->activities)) {
             $activity = "query";
         } else {
+            $activity = $_REQUEST['a'];
             if (isset($_REQUEST['arg'])) {
                 $arg = $_REQUEST['arg'];
             } else if ($activity != "more"){
diff --git a/src/library/Utility.php b/src/library/Utility.php
index 99fdc7ec9..cc8b63780 100755
--- a/src/library/Utility.php
+++ b/src/library/Utility.php
@@ -1946,6 +1946,8 @@ function mimeType($file_name, $use_extension = false)
             ".m4a" => "audio/mp4",
             ".m4v" => "video/mp4",
             ".png" => "image/png",
+            ".tex" => "text/plain",
+            ".txt" => "text/plain",
             ".wav" => "audio/vnd.wave",
         ];
         if (isset($mime_types[$last_chars])) {
diff --git a/src/models/GroupModel.php b/src/models/GroupModel.php
index 200e2a2f9..be8dd19ea 100644
--- a/src/models/GroupModel.php
+++ b/src/models/GroupModel.php
@@ -1698,6 +1698,8 @@ class GroupModel extends Model implements MediaConstants
             $resource_info['thumb_prefix'] .= "&sf=$sub_path";
         }
         $resource_info['default_thumb'] =  "resources/file-icon.png";
+        $resource_info['default_editable_thumb'] =
+            "resources/editable-resource.png";
         $resource_info['default_folder_thumb'] = "resources/folder.png";
         $resources = [];
         $time = time();
diff --git a/src/views/elements/WikiElement.php b/src/views/elements/WikiElement.php
index 8e8260421..de306a51b 100644
--- a/src/views/elements/WikiElement.php
+++ b/src/views/elements/WikiElement.php
@@ -580,6 +580,8 @@ class WikiElement extends Element implements CrawlConstants
             $thumb_prefix = $data['RESOURCES_INFO']['thumb_prefix'];
             $default_thumb = C\BASE_URL .
                 $data['RESOURCES_INFO']['default_thumb'];
+            $default_editable_thumb = C\BASE_URL .
+                $data['RESOURCES_INFO']['default_editable_thumb'];
             $default_folder_thumb = C\BASE_URL .
                 $data['RESOURCES_INFO']['default_folder_thumb'];
             if (!empty($data['SUB_PATH'])) {
@@ -643,9 +645,13 @@ class WikiElement extends Element implements CrawlConstants
                     $name = $resource['name'];
                     $name_parts = pathinfo($name);
                     $written_name = $name;
+                    $use_editable_thumb = false;
                     if (!empty($name_parts['extension'])) {
-                        if (in_array($name_parts['extension'], ['mov', 'mp4',
-                            'm4v', 'webm', 'mkv'])) {
+                        if (in_array($name_parts['extension'], ['txt',
+                            'csv', 'tex'])) {
+                            $use_editable_thumb = true;
+                        } elseif (in_array($name_parts['extension'], ['mov',
+                            'mp4', 'm4v', 'webm', 'mkv'])) {
                             $written_name = $name_parts['filename'] .
                                 "[".tl('wiki_element_video')."]";
                         } elseif (in_array($name_parts['extension'], ['wav',
@@ -674,6 +680,10 @@ class WikiElement extends Element implements CrawlConstants
                             $current_thumb = "$current_thumb&n=$name";
                         } else {
                             $current_thumb = $default_thumb;
+                            if (!$read_mode &&!$disabled &&
+                                $use_editable_thumb) {
+                                $current_thumb = $default_editable_thumb;
+                            }
                         }
                         if (!empty($resource['is_dir'])) {
                             $current_url = "$folder_prefix&sf=".
@@ -684,6 +694,10 @@ class WikiElement extends Element implements CrawlConstants
                         if ($resource['has_thumb']) {
                         } else {
                             $current_thumb = $default_thumb;
+                            if (!$read_mode &&!$disabled &&
+                                $use_editable_thumb) {
+                                $current_thumb = $default_editable_thumb;
+                            }
                         }
                         if (!empty($resource['is_dir'])) {
                             $current_url = "$folder_prefix&sf=".