Searched refs:taille (Results 1 – 7 of 7) sorted by relevance
| /plugin/math2/phpmathpublisher/ |
| D | mathpublisher.php | 629 function affiche_texte($texte, $taille) argument
632 $taille=max($taille,6);
636 $hdim = ImageTTFBBox($taille, 0, $font, $htexte);
637 $wdim = ImageTTFBBox($taille, 0, $font, $texte);
638 $dx = max($wdim[2], $wdim[4]) - min($wdim[0], $wdim[6])+ceil($taille /8);
639 $dy = max($hdim[1], $hdim[3]) - min($hdim[5], $hdim[7])+ ceil($taille /8);
646 ImageTTFText($img, $taille, $angle, 0, -min($hdim[5], $hdim[7]), $noir, $font, $texte);
650 function affiche_math($texte, $taille) argument
653 $taille=max($taille,6);
661 $hdim = ImageTTFBBox($taille, 0, $font, $htexte);
[all …]
|
| /plugin/ckgdoku/ckeditor/lang/ |
| D | fr.js.unc | 47 "resize": "Déplacer pour modifier la taille",
625 "invalidBorder": "La taille de la bordure doit être un nombre.",
698 …FileBrowserError_301: "Le fichier envoyé dépasse la taille définie par la directive upload_max_fil…
699 …FileBrowserError_302: "Le fichier envoyé dépasse la taille définie par la directive MAX_FILE_SIZE …
732 DlgFileBrowserAdjustSize: 'Ajuster la taille de la fenêtre ',
739 …DlgFileBrowserResizeMsg: "La taille de la fenêtre du gestionnaire de médias sera réinitialisée à s…
743 …DlgFileBrowserInfo_1: "Si vous augmentez la taille du zoom sur votre navigateur, l'éditeur peut dé…
744 …" Pour les éliminer, vous pouvez élargir la fenêtre jusqu'à 20 %. La nouvelle taille prendra effe…
779 …l endroit, le texte vous permettra de changer l\'apparence de la police, les couleurs, la taille.'+
|
| /plugin/ckgedit/ckeditor/lang/ |
| D | fr.js.unc | 47 "resize": "Déplacer pour modifier la taille",
625 "invalidBorder": "La taille de la bordure doit être un nombre.",
698 …FileBrowserError_301: "Le fichier envoyé dépasse la taille définie par la directive upload_max_fil…
699 …FileBrowserError_302: "Le fichier envoyé dépasse la taille définie par la directive MAX_FILE_SIZE …
732 DlgFileBrowserAdjustSize: 'Ajuster la taille de la fenêtre ',
739 …DlgFileBrowserResizeMsg: "La taille de la fenêtre du gestionnaire de médias sera réinitialisée à s…
743 …DlgFileBrowserInfo_1: "Si vous augmentez la taille du zoom sur votre navigateur, l'éditeur peut dé…
744 …" Pour les éliminer, vous pouvez élargir la fenêtre jusqu'à 20 %. La nouvelle taille prendra effe…
779 …l endroit, le texte vous permettra de changer l\'apparence de la police, les couleurs, la taille.'+
|
| /plugin/snap/ |
| D | syntax.php.ori | 169 …//Si l'image n'existe pas ou qu'elle est trop vieille ou qu'on demande une taille differente de ce…
|
| /plugin/schedule/ |
| D | style.css | 272 /* Rend visible tout notre bloc bubble et lui attribue une taille */
|
| /plugin/diagramsnet/lib/resources/ |
| D | dia_fr.txt | 132 …réduire/agrandir\nShift+clic pour déplacer les voisins\nAlt+clic pour conserver la taille du groupe
154 copySize=Copie de la taille
|
| /plugin/botmon/lang/fr/ |
| H A D | wordlist.txt | 880 taille 4
|