diff options
Diffstat (limited to 'graphics/asymptote/settings.cc')
-rw-r--r-- | graphics/asymptote/settings.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/graphics/asymptote/settings.cc b/graphics/asymptote/settings.cc index 9a5006cfe4..f7fa46afe0 100644 --- a/graphics/asymptote/settings.cc +++ b/graphics/asymptote/settings.cc @@ -108,7 +108,7 @@ string defaultHTMLViewer="google-chrome"; string defaultGhostscript="gs"; string defaultGhostscriptLibrary=""; string defaultDisplay="display"; -string defaultAnimate="animate"; +string defaultAnimate="magick"; void queryRegistry() {} const string dirsep="/"; @@ -125,7 +125,7 @@ string defaultHTMLViewer="cmd"; string defaultGhostscript; string defaultGhostscriptLibrary; string defaultDisplay="cmd"; -//string defaultAnimate="animate"; +//string defaultAnimate="magick"; string defaultAnimate="cmd"; const string dirsep="\\"; @@ -1321,7 +1321,7 @@ void initSettings() { "Center, Bottom, Top, or Zero page alignment", "C")); - addOption(new boolSetting("debug", 'd', "Enable debugging messages")); + addOption(new boolSetting("debug", 'd', "Enable debugging messages and traceback")); addOption(new incrementSetting("verbose", 'v', "Increase verbosity level (can specify multiple times)", &verbose)); // Resolve ambiguity with --version |