Rémi Verschelde cdd63fa872 Merge pull request #53839 from EricEzaM/editor-settings-changed-settings ...

Added ability to get list of editor settings changed when saving editor settings. Optimised settings changed notification.

2022-03-05 12:54:38 +01:00

..

classes

Merge pull request #53839 from EricEzaM/editor-settings-changed-settings

2022-03-05 12:54:38 +01:00

tools

Fix typos with codespell

2022-02-10 12:30:19 +01:00

translations

i18n: Sync classref translations with Weblate

2022-02-16 10:09:29 +01:00

class.xsd

Add an XML schema for documentation

2022-02-15 00:03:31 +01:00

Doxyfile

…

Makefile

i18n: Add --lang option to make_rst.py to write translated headings

2021-12-21 13:47:11 +01:00