From 19f878f5cdb10a1f2f11ed2bc504d46c09697a0b Mon Sep 17 00:00:00 2001 From: Dmitry Gridin Date: Mon, 18 May 2020 21:20:46 +0700 Subject: [PATCH] update `searchableOptions.xml` --- idea/resources/search/searchableOptions.xml | 2565 ++++++++++--------- 1 file changed, 1309 insertions(+), 1256 deletions(-) diff --git a/idea/resources/search/searchableOptions.xml b/idea/resources/search/searchableOptions.xml index d73837ccaf9..d1e03083c41 100644 --- a/idea/resources/search/searchableOptions.xml +++ b/idea/resources/search/searchableOptions.xml @@ -1,1284 +1,1337 @@ - - - - - - - - - - - -