gl: Update generated trace scripts to new APIs.

diff --git a/platform/gl/gl-main.c b/platform/gl/gl-main.c
index deba072f8f0be5499a5ec7348fa7e62e24d839b4..bd0e21b1d51c7aab32a4967762032fa3ff3b2ed0 100644 (file)
--- a/platform/gl/gl-main.c
+++ b/platform/gl/gl-main.c
@@ -857,7 +857,7 @@ void trace_page_update(void)
 void trace_save_snapshot(void)
 {
        static int trace_idx = 1;
-       trace_action("page.toPixmap(Identity, DeviceRGB).saveAsPNG(\"trace-%03d.png\");\n", trace_idx++);
+       trace_action("page.toPixmap(Matrix.identity, ColorSpace.DeviceRGB).saveAsPNG(\"trace-%03d.png\");\n", trace_idx++);
 }
 
 static int document_shown_as_dirty = 0;
@@ -1828,7 +1828,7 @@ static void load_document(void)
                }
        }
 
-       trace_action("doc = new Document(%q);\n", filename);
+       trace_action("doc = Document.openDocument(%q);\n", filename);
 
        doc = fz_open_accelerated_document(ctx, filename, accel);
        pdf = pdf_specifics(ctx, doc);