This commit is contained in:
John Whitington 2022-12-02 17:14:09 +00:00
parent 88970eacc8
commit 6c068d96d7
1 changed files with 12 additions and 2 deletions

View File

@ -3137,11 +3137,21 @@ let embed_font () =
type state = type state =
{mutable fill : drawops_colspec; {mutable fill : drawops_colspec;
mutable stroke : drawops_colspec} mutable stroke : drawops_colspec;
mutable linewidth : float;
mutable linecap : int;
mutable linejoin : int;
mutable miterlimit : float;
mutable dashpattern : float list * float}
let state = let state =
{fill = NoCol; {fill = NoCol;
stroke = RGB (0., 0., 0.)} stroke = RGB (0., 0., 0.);
linewidth = 1.;
linecap = 0;
linejoin = 0;
miterlimit = 10.;
dashpattern = ([], 0.)}
let ops_of_drawop = function let ops_of_drawop = function
| Rect (x, y, w, h) -> [Pdfops.Op_re (x, y, w, h)] | Rect (x, y, w, h) -> [Pdfops.Op_re (x, y, w, h)]