|
Comments.js
|
Fix Bug 58931
|
2022-10-27 12:52:50 +03:00 |
|
ExternalOleEditor.js
|
To previous commit
|
2022-09-23 22:20:36 +03:00 |
|
Header.js
|
[desktop] added button 'home' in app header
|
2022-09-28 23:43:03 +03:00 |
|
ListSettingsDialog.js
|
Fix Bug 59097
|
2022-09-19 10:18:35 +03:00 |
|
OptionsDialog.js
|
Fix Bug 59600
|
2022-11-03 16:41:02 +03:00 |
|
PluginDlg.js
|
Fix Bug 59140
|
2022-10-14 12:34:28 +03:00 |
|
Plugins.js
|
Lock edit plugins when document is protected
|
2022-09-28 17:29:24 +03:00 |
|
SymbolTableDialog.js
|
Fix saving recent symbols
|
2022-10-12 15:47:58 +03:00 |