Fix: Size of picto

This commit is contained in:
Laurent Destailleur 2011-01-22 09:55:07 +00:00
parent a1111524e3
commit 2b32460450

View File

@ -97,12 +97,12 @@ foreach($sortorder as $numero=>$name)
$alt=$name.' - '.$modules_files[$numero]; $alt=$name.' - '.$modules_files[$numero];
if (! empty($picto[$numero])) if (! empty($picto[$numero]))
{ {
if (preg_match('/^\//',$picto[$numero])) print img_picto($alt,$picto[$numero],'width="16px"',1); if (preg_match('/^\//',$picto[$numero])) print img_picto($alt,$picto[$numero],'width="14px"',1);
else print img_object($alt,$picto[$numero],'width="16px"'); else print img_object($alt,$picto[$numero],'width="14px"');
} }
else else
{ {
print img_object($alt,$picto[$numero],'width="16px"'); print img_object($alt,$picto[$numero],'width="14px"');
} }
print ' '.$modules[$numero]->getName(); print ' '.$modules[$numero]->getName();
print "</td>"; print "</td>";