Vous aimez les trolls?

Ignore-this: b9cc5120be8fc38bc0cd2e9d0ef56d3b

darcs-hash:20090702175016-b1672-77afcc502ecd37839d2addf8d42d3992ed22d2f8.gz
This commit is contained in:
chicco 2009-07-02 19:50:16 +02:00
parent b4acaeed00
commit 9ee3cb8883

View file

@ -31,12 +31,21 @@ let copies = ref 1
let _Copies () = "%d" % !copies let _Copies () = "%d" % !copies
let papier = ref "a4" let papier = ref "a4"
let _MediaSize () = match !papier with let _MediaSize () = string_of_int (match String.lowercase (!papier) with
"a4" | "A4" -> "5" | "a4" -> 5
| "a3" | "A3" -> "6" | "a3" -> 6
| "A5" -> "16" | "B4" -> "12" | "B5" -> "13" | "LTR" -> "1" | "LGL" -> "2" | "a5" -> 16
| "11x17" -> "3" | "EXEC" -> "4" | "Com-10" -> "7" | "Monarch" -> "8" | "b4" -> 12
| "C5 Env" -> "9" | "B5 Env" -> "10" | "DL Env" -> "11" | "b5" -> 13
| "ltr" -> 1
| "lgl" -> 2
| "11x17" -> 3
| "exec" -> 4
| "com-10" -> 7
| "monarch" -> 8
| "c5 env" -> 9
| "b5 env" -> 10
| "dl env" -> 11
| _ -> raise (Arg.Bad ("%s wrong papersize" % !papier)) | _ -> raise (Arg.Bad ("%s wrong papersize" % !papier))
let papertype = ref "Ordinaire" let papertype = ref "Ordinaire"