2 function set_options_header_prive($flux) {
3 return $flux. <<<JAVASCRIPT
4 <script type="text/javascript"><!--
5 // des que le DOM est pret...
6 if (window.jQuery) jQuery(document).ready(function(){
7 if (jQuery('a.icone26').length) {
8 jQuery("#displayfond").hide();
9 jQuery("a.icone26[@href*=set_options]").hide();