IDEA plugin - confusing config field name

[Jonathan Gibbons]

This has now been pushed, albeit with a tiny change to the capitalization.

-- Jon

On 11/16/2017 03:51 PM, Maurizio Cimadamore wrote:
> Thanks for the suggestion (and for trying out the plugin) - your patch 
> makes sense to me!
>
> Maurizio
>
>
> On 16/11/17 13:13, Michal Vala wrote:
>> Hi,
>>
>> I'm trying jtreg idea plugin. Following README I've got stuck with 
>> error "No jtreg path configured". As I found out, I had to set "Path" 
>> property in Settings > jtreg. Name "Path" seems really confusing as 
>> it is not clear what path it should be. I would replace it for "Jtreg 
>> Home" (patch attached).
>>
>> Thoughts ?
>>
>