diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-12-21 14:39:02 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-21 14:39:02 +0100 |
commit | d3d6208ec8ef3007400384c96d31f6e308c71827 (patch) | |
tree | 347bad29d6be3296aa683c51d562583a9ad9e53d /doc/translations | |
parent | d7f6993357c68b630e2c59fa7ebe86ece5653997 (diff) | |
parent | b98785309f9e8f64299fa39403266cc743bde722 (diff) |
Merge pull request #56127 from akien-mga/doc-makerst-lang-headings
Diffstat (limited to 'doc/translations')
-rw-r--r-- | doc/translations/extract.py | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/doc/translations/extract.py b/doc/translations/extract.py index d53ee91488..214a756e64 100644 --- a/doc/translations/extract.py +++ b/doc/translations/extract.py @@ -26,17 +26,22 @@ msgstr "" """ # Some strings used by make_rst.py are normally part of the editor translations, # so we need to include them manually here for the online docs. -BASE_STRINGS = [ +HEADINGS = [ "Description", "Tutorials", "Properties", + "Constructors", "Methods", + "Operators", "Theme Properties", "Signals", "Enumerations", "Constants", "Property Descriptions", + "Constructor Descriptions", "Method Descriptions", + "Operator Descriptions", + "Theme Property Descriptions", ] ## <xml-line-number-hack from="https://stackoverflow.com/a/36430270/10846399"> @@ -224,12 +229,12 @@ def _make_translation_catalog(classes): def _generate_translation_catalog_file(unique_msgs, output, location_line=False): with open(output, "w", encoding="utf8") as f: f.write(HEADER) - for msg in BASE_STRINGS: + for msg in HEADINGS: f.write("#: doc/tools/make_rst.py\n") f.write('msgid "{}"\n'.format(msg)) f.write('msgstr ""\n\n') for msg in unique_msgs: - if len(msg) == 0 or msg in BASE_STRINGS: + if len(msg) == 0 or msg in HEADINGS: continue f.write("#:") |