Guess adding it is as good as any method of finding out whether somebody else uses scalled page scrolling.
Unified · Split
| @@ -3898,6 +3898,23 @@ let display () = · 3897 unmodified lines | |||
| 3898 | end; | 3898 | end; |
| 3899 | enttext (); | 3899 | enttext (); |
| 3900 | scrollindicator (); | 3900 | scrollindicator (); |
| 3901 | |||
| 3902 | if conf.pgscale > 0.0 | ||
| 3903 | then ( | ||
| 3904 | let yh = conf.pgscale *. float !S.winh in | ||
| 3905 | match !S.layout with | ||
| 3906 | | _ :: [] -> | ||
| 3907 | Gl.enable `blend; | ||
| 3908 | GlDraw.color (0.1, 0.1, 0.1) ~alpha:0.5; | ||
| 3909 | GlFunc.blend_func ~src:`src_alpha ~dst:`one_minus_src_alpha; | ||
| 3910 | let x0 = 0.0 | ||
| 3911 | and y0 = yh -. 3.0 in | ||
| 3912 | let x1 = float !S.winw | ||
| 3913 | and y1 = yh +. 3.0 in | ||
| 3914 | Glutils.filledrect x0 y0 x1 y1; | ||
| 3915 | Gl.disable `blend; | ||
| 3916 | | _ -> () | ||
| 3917 | ); | ||
| 3901 | Wsi.swapb () | 3918 | Wsi.swapb () |
| 3902 | 3919 | ||
| 3903 | let display () = | 3920 | let display () = |