Switch to jsoncpp as our json library (#1005)

Browse Source

Switch to using jsoncpp as our json library. This lets us pretty-print the json file by default, and lets users place comments in the json file.

We will now only re-write the file when the actual logical structure of the json object changes, not only when the serialization changes.

Unfortunately, this will remove any existing ordering of profiles, and make the order random. We don't terribly care though, because when #754 lands, this will be less painful.

It also introduces a top-level globals object to hold all the global properties, including keybindings. Existing profiles should gracefully upgrade.

...

This commit is contained in:

Mike Griese

2019-06-04 16:55:27 -05:00

committed by GitHub

parent 69e88cd921

commit 8a69be0cc7

25 changed files with 8681 additions and 637 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

5386

dep/jsoncpp/jsoncpp.cpp Normal file

File diff suppressed because it is too large Load Diff