Commit a0d38839 authored by Henrik Tramberend's avatar Henrik Tramberend
Browse files

Merge branch 'master' of gitlab2.informatik.uni-wuerzburg.de:decker/decker

parents e8633cf3 d7b3975b
......@@ -68,7 +68,9 @@ programs =
, ExternalProgram
[]
"gnuplot"
["-d", "-e", "set terminal svg enhanced mouse"]
-- 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"]
["-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