Skip to content

Commit

Permalink
do not restart server if the uri setting changed
Browse files Browse the repository at this point in the history
  • Loading branch information
predragnikolic committed Mar 22, 2024
1 parent 9c7da82 commit cbe6a6a
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions plugin/documents.py
Original file line number Diff line number Diff line change
Expand Up @@ -1025,8 +1025,9 @@ def _on_settings_object_changed(self) -> None:
if isinstance(new_uri, str) and new_uri != self._uri:
self._uri = new_uri
something_changed = True
if something_changed:
self._reset()
# will this help?
# if something_changed:
# self._reset()

def __repr__(self) -> str:
return "ViewListener({})".format(self.view.id())

0 comments on commit cbe6a6a

Please sign in to comment.