mateuszkmiecik/sympy-live — comment on commit f12debcfcbdb9bcddf79759f8902bd6bc4db9509
File: static/live-core.js line 845
By mattpap:

ExtJS has good support for animations, but Ext Core may be a little limited (the reason for implementing `SymPy.Keys`). It seems we will switch to JQuery anyway at some point, so adding JQuery now isn't that big deal.