[papgets] use WIDTH_PIXELS to avoid rescaling

This commit is contained in:
Gautier Hattenberger
2015-01-19 17:22:09 +01:00
parent 5bd0e0a725
commit ea6bc1d901
+2 -2
View File
@@ -171,9 +171,9 @@ class canvas_gauge = fun ?(config=[]) canvas_group x y ->
(*let props = (text_props@[`ANCHOR `EAST]) in*)
let _ = GnoCanvas.ellipse ~x1:r2 ~y1:r2 ~x2:(-.r2) ~y2:(-.r2)
~props:[`NO_FILL_COLOR; `OUTLINE_COLOR "grey"; `WIDTH_UNITS 6.] root in
~props:[`NO_FILL_COLOR; `OUTLINE_COLOR "grey"; `WIDTH_PIXELS 6] root in
let points = [|0.;-.r1;0.;-.r1+.3.|] in
let props = [`WIDTH_UNITS 2.; `FILL_COLOR "red"] in
let props = [`WIDTH_PIXELS 2; `FILL_COLOR "red"] in
let _ = GnoCanvas.line ~points ~props root in
let il = GnoCanvas.line ~points ~props root in
let () = il#affine_absolute (affine_pos_and_angle 0. 0. (-. Latlong.pi /. 3.)) in