https://kotlinlang.org logo
k

karelpeeters

04/26/2018, 12:20 AM
I'd guess you can change the style in the editor formatting options.