Junegunn Choi d9b1211191 Add more --border options; default changed to "rounded" ...

--border option now takes an optional argument that defines the style

  - rounded (new default)
  - sharp
  - horizontal (previous default)

2020-03-05 20:56:15 +09:00

..

man1

Add more --border options; default changed to "rounded"

2020-03-05 20:56:15 +09:00