Fork of micro-editor/micro

Allow divider customization with divchars option

Adds the `divchars` and `divreverse` options to customize divider styles.


Author Zachary Yedidia Date Commit Parent 9a22d93e
+51 -2
4 changed files
+51 -2
4 changed files