From 6fed4d8d618b0aa7e96c6d145e8d486d3f928fc1 Mon Sep 17 00:00:00 2001
From: Thomas Lin Pedersen <thomasp85@gmail.com>
Date: Fri, 25 Aug 2023 09:04:56 +0200
Subject: [PATCH] Change name of graphic device to differentiate it from
 svglite (#136)

---
 src/devSVG.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/devSVG.cpp b/src/devSVG.cpp
index 93dd34b..a6f691b 100644
--- a/src/devSVG.cpp
+++ b/src/devSVG.cpp
@@ -904,7 +904,7 @@ void makeDevice(SvgStreamPtr stream, std::string bg_, double width, double heigh
       cpp11::stop("Failed to start SVG device");
 
     pGEDevDesc dd = GEcreateDevDesc(dev);
-    GEaddDevice2(dd, "devSVG");
+    GEaddDevice2(dd, "devSVG_vdiffr");
     GEinitDisplayList(dd);
 
   } END_SUSPEND_INTERRUPTS;