 Andrew Cantino
|
a7ed5b5307 |
Nicer formatting of JSONEditor; minor tweeks; Scenarios show up in the quick navigation menu |
10 years ago |
|
Andrew Cantino
|
41533e7a75 |
a few minor UI tweeks after the bootstrap upgrade |
10 years ago |
 Maximilian Clarke
|
bd1a01eb4d |
Upgrade to Bootstrap 3.1.1 |
10 years ago |
|
Andrew Cantino
|
bca562513b |
Only load the fields we need for the autocomplete. |
11 years ago |
 JT Zemp
|
56cbe8bd68 |
current_user.agents fails if current_user == nil |
11 years ago |
|
Andrew Cantino
|
c2fa67dd9b |
Allow the quick navigation menu to run propagation and show the diagram. |
11 years ago |
|
Andrew Cantino
|
6a82f27034 |
Add quick navigation box for Agents |
11 years ago |
|
Andrew Cantino
|
620acffa5a |
initial commit |
11 years ago |
Andrew Cantino
Maximilian Clarke
JT Zemp