From fd2c01808a2df5e609eb9fe693ad5b29a93edfb6 Mon Sep 17 00:00:00 2001
From: Daniel Schwabeneder <daschw@disroot.org>
Date: Wed, 12 Jun 2019 19:26:15 +0200
Subject: [PATCH] add :open and :closed arrow

---
 src/backends/gr.jl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/backends/gr.jl b/src/backends/gr.jl
index ae105ee6..91bf25b4 100644
--- a/src/backends/gr.jl
+++ b/src/backends/gr.jl
@@ -90,6 +90,8 @@ const _gr_arrow_map = Dict(
     :filled => 4,
     :triangle => 5,
     :filledtriangle => 6,
+    :closed => 6,
+    :open => 5,
 )
 gr_set_arrowstyle(s::Symbol) = GR.setarrowstyle(get(_gr_arrow_map, s, 1))