pointer.js: Add setter for recenter_pointer_on_display.

After migration to an ES6 module, `recenter_pointer_on_display` would
no longer be mutable from outside the module.

Signed-off-by: Anders Kaseorg <andersk@mit.edu>
This commit is contained in:
Anders Kaseorg
2018-08-04 02:38:54 -04:00
committed by Tim Abbott
parent 055ebe76aa
commit e559662c8c
3 changed files with 5 additions and 2 deletions

View File

@@ -6,6 +6,9 @@ var pointer = (function () {
var exports = {};
exports.recenter_pointer_on_display = false;
exports.set_recenter_pointer_on_display = function (value) {
exports.recenter_pointer_on_display = value;
};
// Toggles re-centering the pointer in the window
// when All Messages is next clicked by the user