diff options
| -rw-r--r-- | python3/vdebug/ui/vimui.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/python3/vdebug/ui/vimui.py b/python3/vdebug/ui/vimui.py index 415e4c9..7178774 100644 --- a/python3/vdebug/ui/vimui.py +++ b/python3/vdebug/ui/vimui.py @@ -364,11 +364,13 @@ class SourceWindow(interface.Window): vim.command(command_str) def set_file(self, file): - if file == self.file: + self.focus() + + if file == self.file and self.file == vim.current.buffer.name: return + self.file = file log.Log("Setting source file: %s" % file, log.Logger.INFO) - self.focus() vim.command('call Vdebug_edit("%s")' % str(file).replace("\\", "\\\\")) def set_line(self, lineno): |