From 3a07f2095a3e8f46b1516065471d5a531aaaac08 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yann=20C=C3=A9bron?= Date: Wed, 14 May 2025 11:06:34 +0200 Subject: [PATCH] editors.md: minor --- topics/reference_guide/editors.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/topics/reference_guide/editors.md b/topics/reference_guide/editors.md index 86b9e33b5..465bba7b2 100644 --- a/topics/reference_guide/editors.md +++ b/topics/reference_guide/editors.md @@ -2,11 +2,14 @@ # Editors -The Editors section overview. +The Editors section overview/FAQ. This section covers working with text in the IntelliJ Platform editor: -* [](editor_basics.md) +* Tutorial: [](editor_basics.md) + * [](working_with_text.md) + * [](coordinates_system.md) + * [](editor_events.md) * [](text_selection.md) * [](multiple_carets.md)