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

Add keymenu

Browse Source
This commit is contained in:
Zachary Yedidia
2019-01-16 18:37:45 -05:00
parent 254b892a3b
commit 212b0f8c71
4 changed files with 41 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
cmd/micro/action/command.go
View File

@@ -395,7 +395,6 @@ func SetGlobalOption(option, value string) error {
}
}
// TODO: info and keymenu option change
if option == "infobar" || option == "keymenu" {
Tabs.Resize()
}