From 9e0819cf7630d236513c277390ff7f243c53d93b Mon Sep 17 00:00:00 2001 From: Alexander Trushev Date: Wed, 4 Feb 2026 14:36:02 +0100 Subject: [PATCH] [editor] IJPL-233406 Add synonyms for smooth caret to make option easier to find GitOrigin-RevId: db1339184ae6a999bc478b220c73d1a2a5c536b9 --- platform/platform-resources-en/src/search/synonyms.xml | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/platform/platform-resources-en/src/search/synonyms.xml b/platform/platform-resources-en/src/search/synonyms.xml index 939231a4cc28..ea0d90e3ecad 100644 --- a/platform/platform-resources-en/src/search/synonyms.xml +++ b/platform/platform-resources-en/src/search/synonyms.xml @@ -200,4 +200,13 @@ Remote Web Path + + + Smooth caret + Smooth cursor + Animated caret + Animated cursor + Caret animation + Cursor animation + \ No newline at end of file