Julia Radzhabova be2924ef60 Change api config: add user.group parameter used for customization.reviewPermissions (added as prefix). ... Use nbsp separator for username prefix.		2020-09-02 20:53:49 +03:00
..
character.js	Add symbol table dialog	2019-11-08 11:34:53 +03:00
define.js	Move chart data to common	2019-11-18 13:40:10 +03:00
fix-ie-compat.js	[all] add missed resources	2020-06-30 17:36:28 +03:00
LanguageInfo.js	[SSE] Fix Bug 43054	2019-10-03 16:12:55 +03:00
LocalStorage.js	[copyright] Update Copyright	2019-01-17 16:05:03 +03:00
Shortcuts.js	Fix keydown events after closing window	2020-07-28 16:49:47 +03:00
Tip.js	Fix tooltip layout for menu items	2019-03-07 14:16:57 +03:00
utils.js	Change api config: add user.group parameter used for customization.reviewPermissions (added as prefix).	2020-09-02 20:53:49 +03:00