Guillermo Bonvehí 858197b453 Fix #1271: Call location.reload after XHR finishes (#2071) ... location.reload was being called when the related dropdown was hidden, even if a request initiated before to update this value hadn't finished. This caused troubles on Firefox.		2017-06-28 16:55:28 +08:00
..
libs	…
draw.js	…
index.js	Fix #1271: Call location.reload after XHR finishes (#2071)	2017-06-28 16:55:28 +08:00
jquery-1.11.3.min.js	…
semantic-2.2.1.min.js	…