From 6b73957b4427037b447855a29132b05c386cfb08 Mon Sep 17 00:00:00 2001
From: humano <humano@alien.cubil>
Date: Mon, 29 Jul 2019 11:51:00 -0500
Subject: [PATCH] buscador en el mapa

---
 circuitos.php | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
diff --git a/circuitos.php b/circuitos.php
index 75f0aed..efbf3bb 100644
--- a/circuitos.php
+++ b/circuitos.php
@@ -28,6 +28,22 @@ $uri = "$_SERVER[SERVER_NAME]/$_SERVER[REQUEST_URI]";
 $background_imagen = buscar_imagen("$_REQUEST[id]","","","$id_empresa");
 $plantilla ="mapa";
 $categorias = lista_categorias($_REQUEST['id'],'','mapa') ;
+
+
+$buscador ="
+<form action='?id='$_REQUEST[id]' method='get'>
+	
+	<input type='hidden' id='id' name='id'  value='$_REQUEST[id]' >
+	$campos_formulario'
+	<div id='div_campos'></div>
+	
+		<input type='text' id='buscar' name='buscar' class='form-control ' placeholder='Buscar'   >
+		<input type='submit' class='btn btn-info btn-block ' value='Buscar'>
+	
+	
+  </form>
+  <hr>
+";
 ?>
 
 <!DOCTYPE html>
@@ -140,6 +156,7 @@ $ids = json_decode($otro_json[0]);
     </style>
 </head>
 <body>
+	
     <!-- optionally define the sidebar content via HTML markup -->
     <div id="sidebar" class="leaflet-sidebar collapsed">
 
@@ -168,6 +185,7 @@ $ids = json_decode($otro_json[0]);
                 <hr>
                 <label id='formulario_descripcion_mapa'><?php echo $formulario_descripcion[0] ?></label>
                 <hr>
+				<?php echo $buscador; ?>
 				<?php echo $categorias; ?>
              </div>
 
