]> git.lizzy.rs Git - micro.git/commit
projects / micro.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a22d93) | patch
Allow divider customization with divchars option
authorZachary Yedidia <zyedidia@gmail.com>
Thu, 21 May 2020 18:35:54 +0000 (14:35 -0400)
committerZachary Yedidia <zyedidia@gmail.com>
Thu, 21 May 2020 18:35:54 +0000 (14:35 -0400)
commitbfe68b1626c3ce4d853fe72d56535bf554b303db
tree47e22afdfcfd655a0e14ba5fc77642cf66b0bd4dtree | snapshot
parent9a22d93ea25bb72ec2d52c6a5ab27e870583af80commit | diff
Allow divider customization with divchars option

Adds the `divchars` and `divreverse` options to customize divider
styles.
internal/config/settings.go diff | blob | history
internal/display/bufwindow.go diff | blob | history
internal/display/uiwindow.go diff | blob | history
runtime/help/options.md diff | blob | history
A modern and intuitive terminal-based text editor