3 Commits (ff87cf554414717b2978d95e02d2e7aedab3463c)

Author	SHA1	Message	Date
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