character.js
|
Add symbol table dialog
|
2019-11-08 11:34:53 +03:00 |
define.js
|
Add new chart types
|
2021-01-14 12:57:22 +03:00 |
fix-ie-compat.js
|
[all] add missed resources
|
2020-06-30 17:36:28 +03:00 |
htmlutils.js
|
[dark theme] changes for desktop app
|
2021-02-24 23:34:05 +03:00 |
LanguageInfo.js
|
[SSE] Fix Bug 43054
|
2019-10-03 16:12:55 +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
|
[common] fix bug 50245
|
2021-05-14 22:20:56 +03:00 |