Rounded Corners

[moritztim]

Is your feature request related to a problem? Please describe.
I don't quite like the sharp edges

Describe the solution you'd like
Using different characters for the edges they could be rounded, which makes it look modern and cool. Of course this would be configurable.

kinda like this

Describe alternatives you've considered
putting tape over the parts of my screen where the corners are and painting rounded corners over them

[stefanhaller]

Try

gui:
  border: rounded

in your config file. Just learned about this today. 😄

[moritztim]

oh ma gawd

[moritztim]

thanks!

[jesseduffield]

I was thinking yesterday we should make rounded the default

[stefanhaller]

I thought the same when I saw it. Want me to change it?

[jesseduffield]

Go for it :)

[tmwatchanan]

I think the rounded border is supposed to be default. But if I don't explicitly set border: "rounded", I always get single border somehow. Is this a bug or just me?

[stefanhaller]

I think the rounded border is supposed to be default.

Yes it is, on master, and in the next release. It isn't yet in the current release. The docs already describe the state of master.

[tmwatchanan]

Oh that's right. I was on the v0.40.2. Switching to HEAD works as expected. Thanks!