Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005321OCamlOCaml generalpublic2011-07-26 02:082012-05-24 18:29
ReporterChristophe Troestler 
Assigned To 
PrioritynormalSeveritymajorReproducibilityalways
StatusresolvedResolutionunable to reproduce 
PlatformOSOS Version
Product Version3.12.0 
Target VersionFixed in Version 
Summary0005321: Graphics: auto_synchronize does not always work as intended
DescriptionThe following code shows the bug:

open Graphics
open Printf

let graph s =
  open_graph(" 200x200" ^ s);
  auto_synchronize false;

  moveto 10 10;
  lineto 100 100;

  ignore(Graphics.wait_next_event [Graphics.Key_pressed]);
  synchronize();
  ignore(Graphics.wait_next_event [Graphics.Key_pressed]);
  close_graph()

let () =
  graph ""; (* bug *)
  graph "-0" (* fine *)
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0007170)
lefessan (developer)
2012-03-26 16:09

I could not reproduce your bug on my linux box. Could you provide more information about your operating system ?
(0007438)
Christophe Troestler (reporter)
2012-05-15 23:02

I am on Linux too. I cannot reproduce the bug any longer either. Maybe it simply disappeared with the upgrade of the X driver (nvidia) or X11 packages.
(0007454)
xleroy (administrator)
2012-05-24 18:29

Thanks, Christophe, for the update. Marking as resolved/not reproducible for the moment. Add comments if the issue pops up again.

- Issue History
Date Modified Username Field Change
2011-07-26 02:08 Christophe Troestler New Issue
2012-03-26 16:09 lefessan Note Added: 0007170
2012-03-26 16:09 lefessan Assigned To => lefessan
2012-03-26 16:09 lefessan Status new => feedback
2012-05-15 10:38 lefessan Assigned To lefessan =>
2012-05-15 23:02 Christophe Troestler Note Added: 0007438
2012-05-15 23:02 Christophe Troestler Status feedback => new
2012-05-24 18:29 xleroy Note Added: 0007454
2012-05-24 18:29 xleroy Status new => resolved
2012-05-24 18:29 xleroy Resolution open => unable to reproduce


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker