Julia Radzhabova d99ad6b1fc Save user id for anonymous user (when user.id is undefined). ... [Mobile] Fix loading name for guest user		2021-05-25 16:39:12 +03:00
..
character.js	Add symbol table dialog	2019-11-08 11:34:53 +03:00
define.js	[SSE] Change rules in the toolbar	2021-03-15 17:44:09 +03:00
fix-ie-compat.js	[all] add missed resources	2020-06-30 17:36:28 +03:00
htmlutils.js	[themes] use system color's scheme by default	2021-05-21 15:48:50 +03:00
LanguageInfo.js	[common] changed LanguageInfo object to use in mobile apps	2021-02-25 00:01:22 +03:00
LocalStorage.js	[DE] Change name for guest user	2020-12-10 14:48:03 +03:00
Shortcuts.js	Fix keydown events after closing window	2020-08-17 18:42:07 +03:00
Tip.js	Fix tooltip layout for menu items	2019-03-07 14:16:57 +03:00
utils.js	Save user id for anonymous user (when user.id is undefined).	2021-05-25 16:39:12 +03:00