zotero/defaults/preferences
Dan Stillman 2beb2c514c Push-based sync triggering
Immediate sync triggering on remote library change using WebSocket API.
Currently kicks off a normal sync process for the modified library --
actual object data isn't pushed.

(This might not stay enabled for 5.0 Final.)
2016-12-29 21:50:32 -05:00
..
zotero.js Push-based sync triggering 2016-12-29 21:50:32 -05:00