Alberto Fernández Capel 7d0d18ea5e Use the cursor:editor:update event to track user activity ... It is strictly a superset of the change event we were using before: if there's a change, there will be always a cursor update, but there can be cursor updates (like when the user presses the arrow keys) that don't change the document. This is coherent with what we do to track user activity at dfb9943521/public/coffee/ide/connection/ConnectionManager.coffee (L49-L50)		2018-01-24 17:20:30 +00:00
..
web	Use the cursor:editor:update event to track user activity	2018-01-24 17:20:30 +00:00