Writing text multiple times on same location makes it darker

[klartext]

I used draw_string() to write text multiple times at the same location.
The effect is, that the text becomes more and more dark/bold.

Here the Code:

open Graphics

let write x y times txt =
  for idx = 1 to times
  do                                      
    moveto x y;      
    draw_string txt
  done

let () =     
  open_graph "";
 
  write 20 500 1 "Some text with default font";
  write 20 400 2 "Some text with default font";
  write 20 300 3 "Some text with default font";
  write 20 200 4 "Some text with default font";
  write 20 100 5 "Some text with default font";

  Unix.sleep 5;                   
  close_graph()

Screenshot attached.

Graphics lib version 5.2.0 on X11 / Arch-Linux.

[xavierleroy]

Amusing! I can reproduce this behavior. I don't think it is specific to the Graphics library: we're just calling XDrawString, and I guess any other code that calls XDrawString should demonstrate this behavior. It might even be intentional, but I haven't found any discussion on the Web.