diff options
| author | hallgren <hallgren@chalmers.se> | 2015-08-21 12:20:40 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-08-21 12:20:40 +0000 |
| commit | c25705519aeea6d5f2760e50749f93fab933930d (patch) | |
| tree | 2ecb03ccc6a5076054179f1ca96133b29fe1e69f /src | |
| parent | e1786153389374ee89093dd0b1750dc31d037117 (diff) | |
GF shell bug fix: visualize_parse didn't accept the -lang flag
Even though the -lang flag was handled in the implementation, it was not
documented, and GF.Command.Interpreter rejects undocumented flags:
option not interpreted: lang
This must be a fairly old bug, so it suggests that the vp command isn't used
much...
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Command/Commands.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/GF/Command/Commands.hs b/src/compiler/GF/Command/Commands.hs index 09840e0b1..43f9124b6 100644 --- a/src/compiler/GF/Command/Commands.hs +++ b/src/compiler/GF/Command/Commands.hs @@ -629,6 +629,7 @@ pgfCommands = Map.fromList [ ("noleaves","don't show the leaves of the tree (i.e., only the abstract tree)") ], flags = [ + ("lang","the language to visualize"), ("format","format of the visualization file (default \"png\")"), ("view","program to open the resulting file (default \"open\")"), ("nodefont","font for tree nodes (default: Times -- graphviz standard font)"), |