Skip to content

Allow the user to disable the menu#47

Open
idbrii wants to merge 1 commit intohsitz:masterfrom
idbrii:add-disable-menu
Open

Allow the user to disable the menu#47
idbrii wants to merge 1 commit intohsitz:masterfrom
idbrii:add-disable-menu

Conversation

@idbrii
Copy link
Copy Markdown

@idbrii idbrii commented Aug 1, 2012

Add g:org_enable_menu

The menu may override a map that uses Alt, or users may not like having many
menus. Still defaults to enabling menus.

Add g:org_enable_menu

The menu may override a map that uses Alt, or users may not like having many
menus. Still defaults to enabling menus.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant