Nice Settings Search feature

+1, it is really nice.

There are some holes in it still, but I'm sure it's not complete yet.

For example, I have the Dilbert plug-in (admit it, we all have it :))
but writing Dilbert in the filter box doesn't highlight Dilbert.

Amnon

Scott Curtis wrote:

Hi Jetbrains Team,

It looks like it is in its infancy but I really like the new Settings search feature. The fact that it highlights relevant sections and keeps highlighting as you drill down to the setting you are interested in. Brilliant!

Well done.

Cheers
Scott

Hello Scott,

Do you have any suggestions?

Thank you.

-

Anna Kozlova
JetBrains Inc.
http://www.intellij.com
"Develop with pleasure!"

Hi Jetbrains Team,

It looks like it is in its infancy but I really like the new Settings
search feature. The fact that it highlights relevant sections and
keeps highlighting as you drill down to the setting you are interested
in. Brilliant!

Well done.

Cheers
Scott

Hello Amnon,

Indeed, I can try to index available plugins but not plugin settings (due
to startup time minimization). Still there is openapi to provide plugins
index ...

Thank you

-

Anna Kozlova
JetBrains Inc.
http://www.intellij.com
"Develop with pleasure!"

+1, it is really nice.

There are some holes in it still, but I'm sure it's not complete yet.

For example, I have the Dilbert plug-in (admit it, we all have it :))
but writing Dilbert in the filter box doesn't highlight Dilbert.

Amnon

Scott Curtis wrote:

>> Hi Jetbrains Team,
>>
>> It looks like it is in its infancy but I really like the new Settings
>> search feature. The fact that it highlights relevant sections and
>> keeps highlighting as you drill down to the setting you are
>> interested in. Brilliant!
>>
>> Well done.
>>
>> Cheers
>> Scott