# HG changeset patch
# User wenzelm
# Date 1605124716 -3600
# Node ID a085a1a893880559a3cd9788a9ade48a0715e10c
# Parent  e7e93c0f6d962172e08eb190e392f49e096836f4
more operations;

diff -r e7e93c0f6d96 -r a085a1a89388 src/Tools/Graphview/graph_file.scala
--- a/src/Tools/Graphview/graph_file.scala	Wed Nov 11 20:55:25 2020 +0100
+++ b/src/Tools/Graphview/graph_file.scala	Wed Nov 11 20:58:36 2020 +0100
@@ -44,4 +44,11 @@
 
     write(file, graphview)
   }
+
+  def make_pdf(options: Options, graph: Graph_Display.Graph): Bytes =
+    Isabelle_System.with_tmp_file("graph", ext = "pdf")(graph_file =>
+    {
+      write(options, graph_file.file, graph)
+      Bytes.read(graph_file)
+    })
 }