|
character.js
|
Add symbol table dialog
|
2019-11-08 11:34:53 +03:00 |
|
define.js
|
Update icons
|
2021-12-21 01:42:27 +03:00 |
|
desktopinit.js
|
[desktop] for bug 54434
|
2021-12-18 22:21:59 +03:00 |
|
fix-ie-compat.js
|
[all] add missed resources
|
2020-06-30 17:36:28 +03:00 |
|
htmlutils.js
|
[desktop] for bug 54434
|
2021-12-14 17:06:36 +03:00 |
|
LocalStorage.js
|
[common] fix bug 29734
|
2021-12-14 22:57:24 +03:00 |
|
Shortcuts.js
|
Fix keydown events after closing window
|
2020-08-17 18:42:07 +03:00 |
|
themeinit.js
|
[themes] load external themes
|
2021-06-25 11:55:33 +03:00 |
|
Tip.js
|
Fix tooltip layout for menu items
|
2019-03-07 14:16:57 +03:00 |
