Commit 7156ba51 authored by Marc Latoschik's avatar Marc Latoschik
Browse files

enabled mouse support again, add `set terminal svg`to avoid border

parent d7b3975b
......@@ -68,9 +68,7 @@ programs =
, ExternalProgram
[]
"gnuplot"
-- Temporaryly disabled mouse support for SVG since it draws a one line box around the render area
-- ["-d", "-e", "set terminal svg enhanced mouse"]
["-d", "-e", "set terminal svg enhanced"]
["-d", "-e", "set terminal svg enhanced mouse"]
["-V"]
(helpText "Gnuplot package (http://gnuplot.sourceforge.net)"))
, ( "pdflatex"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment