diff options
| author | hallgren <hallgren@chalmers.se> | 2016-04-13 13:18:18 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2016-04-13 13:18:18 +0000 |
| commit | 68ebfe9de28f6e78e63db5bfd85f8499048d64c7 (patch) | |
| tree | a759c3a81a99b1d941c7671ed15b600146c479af /src/runtime/javascript | |
| parent | f0014f61a7f1804b74fbabb90bcb90318d75f2d6 (diff) | |
Minibar: don't show dependency information in parse trees.
This was fixed by adding "&nodep=true" in the minibar when it requests a
parse tree from the server. The reason dependency information got included
in the first place was that all rendering options are on by default in
command=parsetree requests in PGF service API.
Diffstat (limited to 'src/runtime/javascript')
0 files changed, 0 insertions, 0 deletions