diff options
author | Tom Stock <info@tomstock.nl> | 2020-03-23 16:35:33 +0100 |
---|---|---|
committer | Tom Stock <info@tomstock.nl> | 2020-03-23 16:35:33 +0100 |
commit | 80b10a9908459235c16eab07e7330497b6155c7f (patch) | |
tree | e1ebd2623e8a0374e438d4cd44b7fbdbfbbe8ee9 | |
parent | 1a38eced72d9b13d69e7a2a0e721e54e75212b7d (diff) | |
download | vdebug-80b10a9908459235c16eab07e7330497b6155c7f.zip |
SOURCE WINDOW JUMPS TO CORRECT BUFFER WHEN THE SOURCE WINDOW BUFFER IS SWITCHED MANUALLY
#444
-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): |