From 06f62d1eaa73b5384f26a844823aabdca2a37a3e Mon Sep 17 00:00:00 2001
From: Antoine Pitrou <pitrou@free.fr>
Date: Fri, 15 Mar 2002 21:18:46 +0000
Subject: [PATCH] Nomenclature plus simple pour les icones.

---
 ecrire/inc_documents.php3 |  6 +++---
 ecrire/inc_texte.php3     | 23 ++++++++++++++++++-----
 2 files changed, 21 insertions(+), 8 deletions(-)

diff --git a/ecrire/inc_documents.php3 b/ecrire/inc_documents.php3
index c2952ea0bb..537ee9f653 100644
--- a/ecrire/inc_documents.php3
+++ b/ecrire/inc_documents.php3
@@ -200,10 +200,10 @@ function afficher_document($id_document, $id_doc_actif = 0) {
 	echo "<input type='hidden' name='modif_document' value='oui'>";
 
 	echo "<b>Titre&nbsp;:</b><br>\n";
-	echo "<INPUT TYPE='text' NAME='titre' CLASS='formo' VALUE=\"".htmlspecialchars($titre)."\" SIZE='40'><br>";
+	echo "<input type='text' name='titre' class='formo' value=\"".htmlspecialchars($titre)."\" size='40'><br>";
 
 	echo "<b>Description&nbsp;:</b><br>\n";
-	echo "<textarea name='descriptif' CLASS='forml' ROWS='5' COLS='*' wrap='soft'>";
+	echo "<textarea name='descriptif' rows='5' class='formo' cols='*' wrap='soft'>";
 	echo htmlspecialchars($descriptif);
 	echo "</textarea>\n";
 
@@ -227,7 +227,7 @@ function afficher_document($id_document, $id_doc_actif = 0) {
 			$taille_vignette = $vignette->get('taille');
 		}
 
-		echo "<td width='150' align='center' valign='top'>\n";
+		echo "<td align='center' valign='top'>\n";
 		echo "<div style='border: 1px dashed black; padding: 4px; background-color: #fdf4e8;'>\n";
 
 		if ($fichier_vignette) {
diff --git a/ecrire/inc_texte.php3 b/ecrire/inc_texte.php3
index 06bc8ac5f6..ef6fce4538 100644
--- a/ecrire/inc_texte.php3
+++ b/ecrire/inc_texte.php3
@@ -73,19 +73,32 @@ function vignette_par_defaut($type_extension, $align = '') {
 	else
 		$img = "IMG/icones";
 
-	$filename = "$img/type_$type_extension";
+	$filename = "$img/$type_extension";
 
+	// Glurps !
 	if (file_exists($filename.'.png')) {
 		$vig = "$filename.png";
 	}
+	else if (file_exists($filename.'.gif')) {
+		$vig = "$filename.gif";
+	}
 	else if (file_exists($filename.'-dist.png')) {
 		$vig = "$filename-dist.png";
 	}
-	else if (file_exists("$img/type_defaut.png")) {
-		$vig = "$img/type_defaut.png";
+	else if (file_exists($filename.'-dist.gif')) {
+		$vig = "$filename-dist.gif";
+	}
+	else if (file_exists("$img/defaut.png")) {
+		$vig = "$img/defaut.png";
+	}
+	else if (file_exists("$img/defaut.gif")) {
+		$vig = "$img/defaut.gif";
+	}
+	else if (file_exists("$img/defaut-dist.png")) {
+		$vig = "$img/defaut-dist.png";
 	}
-	else if (file_exists("$img/type_defaut-dist.png")) {
-		$vig = "$img/type_defaut-dist.png";
+	else if (file_exists("$img/defaut-dist.gif")) {
+		$vig = "$img/defaut-dist.gif";
 	}
 
 	$texte = "<img src='$vig' alt='$type_extension' border='0'";
-- 
GitLab