 Dominik Sander
|
ea2a5e3456
Upgrade jquery.jsoneditor to handle null values
|
vor 7 Jahren |
 Andrew Cantino
|
df6fcdce11
update to newest json editor
|
vor 10 Jahren |
|
Andrew Cantino
|
a7ed5b5307
Nicer formatting of JSONEditor; minor tweeks; Scenarios show up in the quick navigation menu
|
vor 10 Jahren |
|
Andrew Cantino
|
403db15b35
Fix a bug where JSON was lost when saving invalid options
|
vor 11 Jahren |
 Andrew Cantino
|
86b5b1f203
Use select2 for type selection; switch to showing JSON for event information
|
vor 11 Jahren |
|
Andrew Cantino
|
620acffa5a
initial commit
|
vor 11 Jahren |
