diff --git a/inc-public.php3 b/inc-public.php3 index f90232b446e11695e057ae8b8474fb62b24b8dd9..5b0f3b26790bb602208fbcf01e0261968526db25 100644 --- a/inc-public.php3 +++ b/inc-public.php3 @@ -148,11 +148,10 @@ else { // si $var_recherche est positionnee, on met en rouge les mots cherches (php4 uniquement) // -if ($var_recherche AND $flag_ob AND $flag_preg_replace AND !$flag_preserver) { +if ($var_recherche AND $flag_ob AND $flag_preg_replace AND !$flag_preserver AND !$mode_surligne) { include_ecrire("inc_surligne.php3"); - if (!$mode_surligne) { - $mode_surligne = 'auto'; - } + $mode_surligne = 'auto'; + ob_start(""); } else { unset ($var_recherche); unset ($mode_surligne);