Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

PR: Fix error after changes to Plugins page (Preferences) #21236

Merged
merged 1 commit into from
Aug 10, 2023

Conversation

rear1019
Copy link
Contributor

@rear1019 rear1019 commented Aug 9, 2023

See commit message for details

Description of Changes

  • Wrote at least one-line docstrings (for any new functions)
  • Added unit test(s) covering the changes (if testable)
  • Included a screenshot or animation (if affecting the UI, see Licecap)

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:

rear1019

@ccordoba12 ccordoba12 changed the title PR: preferences: fix error after changes to Plugins section PR: Fix error after changes to Plugins section (Preferences) Aug 9, 2023
@ccordoba12 ccordoba12 added this to the v6.0alpha2 milestone Aug 9, 2023
@ccordoba12 ccordoba12 changed the title PR: Fix error after changes to Plugins section (Preferences) PR: Fix error after changes to Plugins page (Preferences) Aug 9, 2023
Copy link
Member

@ccordoba12 ccordoba12 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @rear1019 for your help with this!

There's one small thing missing though: you need to do the same for external plugins as well, which is a some lines below the change you did (specifically in line 89).

The Plugins section in the preferences dialog allows to enable/disable
plugins. After making changes and pressing OK or Apply in the
preferences dialog, an error occurred.

The error occurs because of a change of the return type of
SpyderConfigPage.create_checkbox() (see PR20926 [1]).

[1] spyder-ide#20926
@rear1019
Copy link
Contributor Author

There's one small thing missing though: you need to do the same for external plugins as well, which is a some lines below the change you did (specifically in line 89).

Done

Copy link
Member

@ccordoba12 ccordoba12 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @rear1019!

@ccordoba12 ccordoba12 merged commit 599b280 into spyder-ide:master Aug 10, 2023
20 checks passed
@rear1019 rear1019 deleted the fix_preferences_plugins branch January 16, 2024 16:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants