[EDIT] Buscador de tipo de usuario - Mantenimiento Menu

.idea/misc.xml

+<?xml version="1.0" encoding="UTF-8"?>
 <project version="4">
   <component name="ExternalStorageConfigurationManager" enabled="true" />
   <component name="MavenProjectsManager">
@@ -6,6 +7,7 @@
         <option value="$PROJECT_DIR$/pom.xml" />
       </list>
     </option>
+    <option name="workspaceImportForciblyTurnedOn" value="true" />
   </component>
   <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" project-jdk-name="corretto-1.8" project-jdk-type="JavaSDK">
     <output url="file://$PROJECT_DIR$/out" />

src/main/webapp/js/pages/MantenimientoMenu.js

@@ -58,12 +58,13 @@ let tipo_usuario_nombre = "";
             dataType: 'JSON',
             data: json,
             success: function (result) {
-               var print = " <option value=''>SELECCIONE TIPO DE USUARIO</option> ";
+               var print = " <option selected disabled value=''>SELECCIONE TIPO DE USUARIO</option> ";
                print += " <option value='0' class='text-bold'>VISTA GENERAL</option> ";
                for (var i in result) {
                   print += " <option value =" + result[i].codigoDetalle + ">" + result[i].nombreTipoUsuario + "</option> ";
                }
                $("#cboTipoUsuario").html(print);
+               $("#cboTipoUsuario").select2();
             }
          });
       });