Is there a hotkey to trigger search?

m

mikehearn

12/08/2021, 7:10 PM

Is there a hotkey to trigger search?

m

Marcin Aman

12/08/2021, 7:14 PM

No, but i’d give 👍 to that feature. Could you make an issue?

m

mikehearn

12/08/2021, 7:17 PM

https://github.com/Kotlin/dokka/issues/2265

3 Views

kotlinlang

A modern programming language that makes developers happier.