Karol Lewandowski ac2dcc722f Cleanup: update the old title format

2023-02-17 11:17:52 +01:00

..

annotator.md

Cleanup: update the old title format

2023-02-17 11:17:52 +01:00

code_style_settings.md

"Settings/Preferences" is now "Settings" on all OSes

2023-01-11 14:43:08 +01:00

commenter.md

commenter.md: add TLDR; "Reference"

2023-02-14 18:33:48 +01:00

completion_contributor.md

Cleanup: update the old title format

2023-02-17 11:17:52 +01:00

custom_language_support_tutorial.md

Cleanup: update the old title format

2023-02-17 11:17:52 +01:00

documentation_provider.md

Cleanup: update the old title format

2023-02-17 11:17:52 +01:00

find_usages_provider.md

Cleanup: update the old title format

2023-02-17 11:17:52 +01:00

folding_builder.md

Cleanup: update the old title format

2023-02-17 11:17:52 +01:00

formatter.md

Cleanup: update the old title format

2023-02-17 11:17:52 +01:00

go_to_symbol_contributor.md

Cleanup: update the old title format

2023-02-17 11:17:52 +01:00

grammar_and_parser.md

Cleanup: update the old title format

2023-02-17 11:17:52 +01:00

language_and_filetype.md

Cleanup: update the old title format

2023-02-17 11:17:52 +01:00

lexer_and_parser_definition.md

Cleanup: update the old title format

2023-02-17 11:17:52 +01:00

line_marker_provider.md

"Settings/Preferences" is now "Settings" on all OSes

2023-01-11 14:43:08 +01:00

prerequisites.md

Cleanup: update the old title format

2023-02-17 11:17:52 +01:00

psi_helper_and_utilities.md

Cleanup: update the old title format

2023-02-17 11:17:52 +01:00

quick_fix.md

Cleanup: update the old title format

2023-02-17 11:17:52 +01:00

reference_contributor.md

Add link-summary elements

2022-12-06 10:02:28 +01:00

spell_checking_strategy.md

Cleanup: update the old title format

2023-02-17 11:17:52 +01:00

structure_aware_navbar.md

Cleanup: update the old title format

2023-02-17 11:17:52 +01:00

structure_view_factory.md

Cleanup: update the old title format

2023-02-17 11:17:52 +01:00

syntax_highlighter_and_color_settings_page.md

"Settings/Preferences" is now "Settings" on all OSes

2023-01-11 14:43:08 +01:00