( user_command, default = 'edit' )
| 648 | |
| 649 | # Maps User command to vim command |
| 650 | def GetVimCommand( user_command, default = 'edit' ): |
| 651 | vim_command = BUFFER_COMMAND_MAP.get( user_command, default ) |
| 652 | if vim_command == 'edit' and not BufferIsUsable( vim.current.buffer ): |
| 653 | vim_command = 'split' |
| 654 | return vim_command |
| 655 | |
| 656 | |
| 657 | def JumpToFile( filename, command, modifiers ): |
no test coverage detected