Closed gnikit closed 2 years ago
The letter case when hovering is fixed to uppercase. There sound be an option or more appropriately (imo) tied to the lowercase_intrinsics option for the hover to be lowercase too.
lowercase_intrinsics
The letter case when hovering is fixed to uppercase. There sound be an option or more appropriately (imo) tied to the
lowercase_intrinsics
option for the hover to be lowercase too.