tiberakis

I tried too. My solution is to add this code in function wpp_render_search_input that you can find in template-functions.php

case 'slider_range':
          ?>
<script type="text/javascript">
 var sliderRangeId = "<?php echo $random_element_id; ?>";//this to get $random_element_id in JS
  $(function() {
    $( "#slider-range" ).slider({
      range: true,
      animate: "fast",
      min: 0,
      max: 7000,
      values: [ 1000, 5000 ],
//this to have two different values with the same names as in range-input type
      slide: function( event, ui ) {
        $( "#"+sliderRangeId+"_min" ).val( ui.values[ 0 ] );
        $( "#"+sliderRangeId+"_max" ).val( ui.values[ 1 ] );
      }
    });
    $( "#"+sliderRangeId+"_min" ).val( $( "#slider-range" ).slider( "values", 0 ) );
    $( "#"+sliderRangeId+"_max" ).val( $( "#slider-range" ).slider( "values", 1 ) );
  });
  </script>
<p>
  <label for="<?php echo $random_element_id; ?>">from</label>
  <input type="text" id="<?php echo $random_element_id; ?>_min" value="readonly" name="wpp_search[<?php echo $attrib; ?>][min]" style="border:0; color:#f6931f; font-weight:bold;">
  <label for="<?php echo $random_element_id; ?>">to</label>
  <input type="text" id="<?php echo $random_element_id; ?>_max" value="readonly" name="wpp_search[<?php echo $attrib; ?>][max]" style="border:0; color:#f6931f; font-weight:bold;">
  <div id="slider-range" class="miaClasse"></div>
</p>
<?php
break;

and this code in function set_pre_defined_values_for_attribute that you can find in class_admin_tools.php

case 'range slider':
                jQuery( value_field ).hide();
                break;

this option to the<select> element with name=”wpp_settings[searchable_attr_fields][<?php echo $slug; ?>]”, in class_admin_tools.php:

<option value="slider_range">
                    slider_range
                    </option>

and the necessary links to jquery files in the header.php.
It does work, but, as I’m not at all a programmer I’m asking you if you did it with a more elegant way (with a hook and some function in function.php of the theme) to get the same result. In particular I would like to find some code to have the possibility to change the properties of the Jquery slider via the wpp developer page. As I’m working on a local webserver I can’t show the site.