Commit ca20e2a3 authored by Andrew Gibiansky's avatar Andrew Gibiansky

Dont use SVG by default

parent 614e22ff
...@@ -152,7 +152,7 @@ defaultKernelState :: KernelState ...@@ -152,7 +152,7 @@ defaultKernelState :: KernelState
defaultKernelState = KernelState defaultKernelState = KernelState
{ getExecutionCounter = 1 { getExecutionCounter = 1
, getLintStatus = LintOn , getLintStatus = LintOn
, useSvg = True , useSvg = False
, useShowErrors = False , useShowErrors = False
, useShowTypes = False , useShowTypes = False
, usePager = True , usePager = True
......
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