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 hidehelp support

Browse Source
This commit is contained in:
Zachary Yedidia
2019-06-15 16:13:04 -04:00
parent 995e1dc704
commit c93d7a1b35
4 changed files with 26 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
internal/action/command.go
View File

@@ -365,13 +365,9 @@ func SetGlobalOption(option, value string) error {
for _, b := range buffer.OpenBuffers {
b.UpdateRules()
}
}
if option == "infobar" || option == "keymenu" {
} else if option == "infobar" || option == "keymenu" {
Tabs.Resize()
}
if option == "mouse" {
} else if option == "mouse" {
if !nativeValue.(bool) {
screen.Screen.DisableMouse()
} else {