From 3a30b26264d38d3429c117e34813a33b50205d25 Mon Sep 17 00:00:00 2001 From: rzoller Date: Mon, 29 Feb 2016 16:16:23 +0100 Subject: [PATCH] Convert line_number to int, fixes #105 --- swi.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/swi.py b/swi.py index db56b96..2c2d90f 100644 --- a/swi.py +++ b/swi.py @@ -1454,7 +1454,7 @@ def open_script_and_focus_line_by_filename(file_name, line_number): do_when(lambda: not v.is_loading(), lambda: open_script_and_focus_line_callback(v, line_number)) def open_script_and_focus_line_callback(v, line_number): - goto_line_number = line_number + 1 # goto_line is 1-based + goto_line_number = int(line_number) + 1 # goto_line is 1-based v.run_command("goto_line", {"line": goto_line_number}) update_overlays()