From 73ff0ae2d184ffa0f529f411e57bf7a1121acf19 Mon Sep 17 00:00:00 2001
From: Fil <fil@rezo.net>
Date: Thu, 21 Mar 2002 21:23:11 +0000
Subject: [PATCH] oubli d'ouverture du buffer de surlignement initial.
+
correction du reglage permettant d'interdire de surligner (il suffit de
positionner mode_surligne avant d'appeler inc-public ; ca ne marchait pas)
---
inc-public.php3 | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/inc-public.php3 b/inc-public.php3
index f90232b446..5b0f3b2679 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);
--
GitLab