5 Commits (7bcb5e1374758d5de796736486c24ea17b2b2cca)

Author SHA1 Message Date
  Andrew Cantino df6fcdce11 update to newest json editor 11 years ago
  Andrew Cantino a7ed5b5307 Nicer formatting of JSONEditor; minor tweeks; Scenarios show up in the quick navigation menu 11 years ago
  Andrew Cantino 403db15b35 Fix a bug where JSON was lost when saving invalid options 12 years ago
  Andrew Cantino 86b5b1f203 Use select2 for type selection; switch to showing JSON for event information 12 years ago
  Andrew Cantino 620acffa5a initial commit 12 years ago