Skip to content

PR: Don't try to sync symbols and folding after a file is closed (Editor)#17396

Merged
ccordoba12 merged 5 commits intospyder-ide:5.xfrom
ccordoba12:dont-sync-when-closing
Feb 25, 2022
Merged

PR: Don't try to sync symbols and folding after a file is closed (Editor)#17396
ccordoba12 merged 5 commits intospyder-ide:5.xfrom
ccordoba12:dont-sync-when-closing

Conversation

@ccordoba12
Copy link
Copy Markdown
Member

Description of Changes

Affirmation

By submitting this Pull Request or typing my (user)name below,
I affirm the Developer Certificate of Origin
with respect to all commits and content included in this PR,
and understand I am releasing the same under Spyder's MIT (Expat) license.

I certify the above statement is true and correct: @ccordoba12

@ccordoba12 ccordoba12 added this to the v5.3.0 milestone Feb 24, 2022
@ccordoba12 ccordoba12 self-assigned this Feb 24, 2022
@pep8speaks

This comment was marked as off-topic.

@ccordoba12 ccordoba12 force-pushed the dont-sync-when-closing branch 5 times, most recently from 5c1868f to 4a238cc Compare February 24, 2022 18:32
…lsp/python-lsp-server.git external-deps/python-lsp-server

subrepo:
  subdir:   "external-deps/python-lsp-server"
  merged:   "581da5d11"
upstream:
  origin:   "https://github.com/python-lsp/python-lsp-server.git"
  branch:   "develop"
  commit:   "581da5d11"
git-subrepo:
  version:  "0.4.3"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "2f68596"
- They were duplicated between bootstrap and conftest, but there's no
need of that.
- This also fixes an error when trying to install the PyLSP from our
subrepo, due to new usage of setuptools-scm on that project.
@ccordoba12 ccordoba12 force-pushed the dont-sync-when-closing branch from 4a238cc to f7e524f Compare February 25, 2022 14:41
@ccordoba12 ccordoba12 merged commit 1fb9509 into spyder-ide:5.x Feb 25, 2022
@ccordoba12 ccordoba12 deleted the dont-sync-when-closing branch February 25, 2022 15:55
ccordoba12 added a commit that referenced this pull request Feb 25, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants