Merge pull request #108 from rzoller/ST3

Convert line_number to int, fixes #105
sokolovstas · Feb 29, 2016 · 9d47100 · 9d47100
2 parents 9df84b3 + 3a30b26
commit 9d47100
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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()