Always show the search box in board selector

ChangeLog

@@ -9,6 +9,7 @@ New features:
 
 Improvements:
 
+* Always show the search box in board selector
 * Replace logout link by a dropdown menu
 * Handle notification for group members attached to a project
 * Return the highest role for a project when a user is member of multiple groups

app/Template/header.php

@@ -19,6 +19,7 @@
                 <select id="board-selector"
                         class="chosen-select select-auto-redirect"
                         tabindex="-1"
+                        data-search-threshold="0"
                         data-notfound="<?= t('No results match:') ?>"
                         data-placeholder="<?= t('Display another project') ?>"
                         data-redirect-regex="PROJECT_ID"

assets/js/src/App.js

@@ -156,10 +156,18 @@ App.prototype.autoComplete = function() {
 };
 
 App.prototype.chosen = function() {
-    $(".chosen-select").chosen({
+    $(".chosen-select").each(function() {
-        width: "180px",
+        var searchThreshold = $(this).data("search-threshold");
-        no_results_text: $(".chosen-select").data("notfound"),
+
-        disable_search_threshold: 10
+        if (searchThreshold === undefined) {
+            searchThreshold = 10;
+        }
+
+        $(this).chosen({
+            width: "180px",
+            no_results_text: $(this).data("notfound"),
+            disable_search_threshold: searchThreshold
+        });
     });
 
     $(".select-auto-redirect").change(function() {