github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-30 06:37:14 +09:00
Code Issues Packages Projects Releases Wiki Activity

Apply basename option in tabbar as well

Browse Source
This commit is contained in:
Zachary Yedidia
2020-02-24 13:48:37 -05:00
parent 8a2048e7f6
commit dff8b33e9c
3 changed files with 10 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
runtime/help/options.md
View File

@@ -44,8 +44,8 @@ Here are the available options:
default value: `true`
* `basename`: in the infobar, show only the basename of the file being edited
rather than the full path.
* `basename`: in the infobar and tabbar, show only the basename of the file
being edited rather than the full path.
default value: `false`