... when using page scaling factor.
Unified · Split
| @@ -3906,18 +3906,20 @@ let display () = · 3905 unmodified lines | |||
| 3906 | if conf.pgscale > 0.0 | 3906 | if conf.pgscale > 0.0 |
| 3907 | then ( | 3907 | then ( |
| 3908 | let yh = conf.pgscale *. float !S.winh in | 3908 | let yh = conf.pgscale *. float !S.winh in |
| 3909 | match !S.layout with | 3909 | let drawsep y = |
| 3910 | | _ :: [] -> | 3910 | let x0 = 0.0 and y0 = y -. 3.0 in |
| 3911 | Gl.enable `blend; | 3911 | let x1 = float !S.winw and y1 = y +. 3.0 in |
| 3912 | GlDraw.color (0.1, 0.1, 0.1) ~alpha:0.5; | ||
| 3913 | GlFunc.blend_func ~src:`src_alpha ~dst:`one_minus_src_alpha; | ||
| 3914 | let x0 = 0.0 | ||
| 3915 | and y0 = yh -. 3.0 in | ||
| 3916 | let x1 = float !S.winw | ||
| 3917 | and y1 = yh +. 3.0 in | ||
| 3918 | Glutils.filledrect x0 y0 x1 y1; | 3912 | Glutils.filledrect x0 y0 x1 y1; |
| 3919 | Gl.disable `blend; | 3913 | in |
| 3920 | | _ -> () | 3914 | Gl.enable `blend; |
| 3915 | GlDraw.color (0.1, 0.1, 0.1) ~alpha:0.5; | ||
| 3916 | GlFunc.blend_func ~src:`src_alpha ~dst:`one_minus_src_alpha; | ||
| 3917 | begin match !S.layout with | ||
| 3918 | | _ :: [] -> drawsep yh | ||
| 3919 | | l -> | ||
| 3920 | List.iter (fun {pagedispy=y; pagevh=h; _} -> drawsep (float (y+h))) l | ||
| 3921 | end; | ||
| 3922 | Gl.disable `blend; | ||
| 3921 | ); | 3923 | ); |
| 3922 | Wsi.swapb () | 3924 | Wsi.swapb () |
| 3923 | 3925 | ||