mirror of
https://github.com/zulip/zulip.git
synced 2025-11-03 21:43:21 +00:00
7072fa5b37
This commit helps reduce clutter on the navigation sidebar. Creates new directories and moves relevant files into them. Modifies index.rst, symlinks, and image paths accordingly. This commit also enables expandable/collapsible navigation items, renames files in docs/development and docs/production, modifies /tools/test-documentation so that it overrides a theme setting, Also updates links to other docs, file paths in the codebase that point to developer documents, and files that should be excluded from lint tests. Note that this commit does not update direct links to zulip.readthedocs.io in the codebase; those will be resolved in an upcoming follow-up commit (it'll be easier to verify all the links once this is merged and ReadTheDocs is updated). Fixes #5265.
94 lines
2.2 KiB
JavaScript
94 lines
2.2 KiB
JavaScript
var typing_data = (function () {
|
|
var exports = {};
|
|
|
|
// See docs/subsystems/typing-indicators.md for details on typing indicators.
|
|
|
|
var typist_dct = new Dict();
|
|
var inbound_timer_dict = new Dict();
|
|
|
|
function to_int(s) {
|
|
return parseInt(s, 10);
|
|
}
|
|
|
|
function sorted(user_ids) {
|
|
// This mapping makes sure we are using ints, and
|
|
// it also makes sure we don't mutate the list.
|
|
var id_list = _.map(user_ids, to_int);
|
|
id_list.sort(function (a, b) {
|
|
return a - b;
|
|
});
|
|
id_list = _.uniq(id_list, true);
|
|
|
|
return id_list;
|
|
}
|
|
|
|
function get_key(group) {
|
|
var ids = sorted(group);
|
|
return ids.join(',');
|
|
}
|
|
|
|
exports.add_typist = function (group, typist) {
|
|
var key = get_key(group);
|
|
var current = typist_dct.get(key) || [];
|
|
typist = to_int(typist);
|
|
if (!_.contains(current, typist)) {
|
|
current.push(typist);
|
|
}
|
|
typist_dct.set(key, sorted(current));
|
|
};
|
|
|
|
exports.remove_typist = function (group, typist) {
|
|
var key = get_key(group);
|
|
var current = typist_dct.get(key) || [];
|
|
|
|
typist = to_int(typist);
|
|
if (!_.contains(current, typist)) {
|
|
return false;
|
|
}
|
|
|
|
current = _.reject(current, function (user_id) {
|
|
return to_int(user_id) === to_int(typist);
|
|
});
|
|
|
|
typist_dct.set(key, current);
|
|
return true;
|
|
};
|
|
|
|
exports.get_group_typists = function (group) {
|
|
var key = get_key(group);
|
|
return typist_dct.get(key) || [];
|
|
};
|
|
|
|
exports.get_all_typists = function () {
|
|
var typists = _.flatten(typist_dct.values(), true);
|
|
typists = sorted(typists);
|
|
typists = _.uniq(typists, true);
|
|
return typists;
|
|
};
|
|
|
|
// The next functions aren't pure data, but it is easy
|
|
// enough to mock the setTimeout/clearTimeout functions.
|
|
exports.clear_inbound_timer = function (group) {
|
|
var key = get_key(group);
|
|
var timer = inbound_timer_dict.get(key);
|
|
if (timer) {
|
|
clearTimeout(timer);
|
|
inbound_timer_dict.set(key, undefined);
|
|
}
|
|
};
|
|
|
|
exports.kickstart_inbound_timer = function (group, delay, callback) {
|
|
var key = get_key(group);
|
|
exports.clear_inbound_timer(group);
|
|
var timer = setTimeout(callback, delay);
|
|
inbound_timer_dict.set(key, timer);
|
|
};
|
|
|
|
|
|
return exports;
|
|
}());
|
|
|
|
if (typeof module !== 'undefined') {
|
|
module.exports = typing_data;
|
|
}
|