From d04f63b7abf846a739485a7fc7308f4e33016f83 Mon Sep 17 00:00:00 2001 From: Dmitry Gridin Date: Fri, 10 Apr 2020 23:26:40 +0700 Subject: [PATCH] Make settings searchable #KT-31169 Fixed #KT-38217 Fixed --- idea/resources/search/searchableOptions.xml | 1284 +++++++++++++++++++ 1 file changed, 1284 insertions(+) create mode 100644 idea/resources/search/searchableOptions.xml diff --git a/idea/resources/search/searchableOptions.xml b/idea/resources/search/searchableOptions.xml new file mode 100644 index 00000000000..d73837ccaf9 --- /dev/null +++ b/idea/resources/search/searchableOptions.xml @@ -0,0 +1,1284 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + +