rd-gen
2023.3.3
rd-gen
/
com.jetbrains.rd.generator.nova
/
Context
/
Generated
/
isHeavyKey
is
Heavy
Key
var
isHeavyKey
:
Boolean
=
true
Content copied to clipboard