| .. |
|
dialog
|
All: Add support for application plugins (#3257)
|
2020-10-09 18:35:46 +01:00 |
|
events
|
All: Add support for application plugins (#3257)
|
2020-10-09 18:35:46 +01:00 |
|
jsbundles
|
Desktop: Added support for plugins packaged as JS bundles
|
2020-10-13 11:16:36 +01:00 |
|
json_export
|
All: Add support for application plugins (#3257)
|
2020-10-09 18:35:46 +01:00 |
|
menu
|
Desktop: Added support for Menu API for plugins
|
2020-10-13 12:57:03 +01:00 |
|
multi_plugins
|
All: Add support for application plugins (#3257)
|
2020-10-09 18:35:46 +01:00 |
|
multi_selection
|
All: Add support for application plugins (#3257)
|
2020-10-09 18:35:46 +01:00 |
|
register_command
|
All: Add support for application plugins (#3257)
|
2020-10-09 18:35:46 +01:00 |
|
selected_text
|
All: Add support for application plugins (#3257)
|
2020-10-09 18:35:46 +01:00 |
|
settings
|
All: Add support for application plugins (#3257)
|
2020-10-09 18:35:46 +01:00 |
|
simple
|
All: Add support for application plugins (#3257)
|
2020-10-09 18:35:46 +01:00 |
|
testImport
|
All: Add support for application plugins (#3257)
|
2020-10-09 18:35:46 +01:00 |
|
toc
|
Desktop: Fixes #3903: Header links with special characters were no longer working
|
2020-10-16 22:55:48 +01:00 |
|
withExternalModules
|
All: Add support for application plugins (#3257)
|
2020-10-09 18:35:46 +01:00 |
|
.gitignore
|
All: Add support for application plugins (#3257)
|
2020-10-09 18:35:46 +01:00 |
|
updatePlugins.sh
|
All: Add support for application plugins (#3257)
|
2020-10-09 18:35:46 +01:00 |
