kradima
kradima
@k-bespalov Thank you for the PR! This additional option may be useful for part of users but for most users, it can slightly overweight the popup. So I propose to...
> > @k-bespalov Thank you for the PR! This additional option may be useful for part of users but for most users, it can slightly overweight the popup. So I...
Hi! Sorry for long response. We don't sure that it's a very popular option and would like to estimate interest in it. I created an [issue](https://youtrack.jetbrains.com/issue/IDEA-277876) to collect feedback and...