It's good if hyperline be more customizable. As far as I've investigated, I can't change font size, padding (or margin), border color and height of hyperline.
In my opinion, current visual of hyperline is not consistent.
I tried to edit hyperline.js, but it resets everytime I open Hyper.
It's good if hyperline be more customizable. As far as I've investigated, I can't change font size, padding (or margin), border color and height of hyperline.
In my opinion, current visual of hyperline is not consistent.
I tried to edit hyperline.js, but it resets everytime I open Hyper.