diff options
author | Ike Devolder <ike.devolder@gmail.com> | 2020-03-29 10:44:21 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-29 10:44:21 +0200 |
commit | b28c923979d08336abe31c403b5f7c2757e02f31 (patch) | |
tree | 792ad5f31de681e62c619765f992ae7f6c1f7e3d | |
parent | 694917accd8b2ddeb57fdac8481e9eb5463f9c01 (diff) | |
parent | 80b10a9908459235c16eab07e7330497b6155c7f (diff) | |
download | vdebug-b28c923979d08336abe31c403b5f7c2757e02f31.zip |
Source window jumps to correct buffer with one item stack
-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): |