In symbol.py, could you please do something for this TODO:
class GotoDefinition(sublime_plugin.WindowCommand):
...
def select_entry(self, locations, idx, orig_view, orig_sel):
...
# TODO: restore sel
if orig_view:
self.window.focus_view(orig_view)
Something like:
if orig_view:
self.window.focus_view(orig_view)
orig_view.sel().clear()
orig_view.sel().add_all(orig_sel)
orig_view.show(orig_sel[0])
And in a somewhat similar topic, do you think is it still useful to report bugs in this forum ?
It looks like almost all non severe issues are ignored, as there’s no feedback we didn’t even know if the bug go somewhere, or is simply buried in this forum.