+ var reloadHistory = function() {\r
+ $.ajax({\r
+ method: 'get',\r
+ url: '/' + gettext('editor') + '/' + document_id + '/history',\r
+ success: function(data) {\r
+ history = data; \r
+ sandbox.publish('historyItemAdded', data.slice(-1)[0]);\r
+ },\r
+ });\r
+ }\r
+ \r