Khushboo Vashi
|
528ea88dec
|
Save the treeview state periodically, and restore it automatically when reconnecting. Fixes #1253
|
2018-10-08 10:03:19 +01:00 |
Aditya Toshniwal
|
2b9c0a63fb
|
Ensure CodeMirror always has a non-zero font size. Fixes #3480
|
2018-07-10 13:58:44 +01:00 |
|
Aditya Toshniwal
|
41a8333145
|
Replace deprecated success, error callbacks in $.ajax call with new functions .done and .fail.
|
2018-07-09 13:54:00 +01:00 |
|
Aditya Toshniwal
|
73530c05aa
|
Add missing files related to previous commit: Infrastructure and changes to the Query Tool for realtime preference handling. Refs #3294
|
2018-07-05 11:41:01 +01:00 |