-
-
Notifications
You must be signed in to change notification settings - Fork 1.6k
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
Fixed typos (thanks to Benjamin Weis) #2897
Conversation
reStructured Text --> reStructuredText occurence --> occurrence Occurrence --> Occurrence
@ccordoba12 (and others): it may break an existing "installation" of Spyder based on latest revision (because of the change of name of some settings related to occurrence highlighting, this kind of thing). Anyway, it seems good to fix those shameful typographical errors ;-) (and I'm responsible for most of them...) |
By the way, this PR is required to be merged in order to add German translation to Spyder which is undoubtedly a good addition. |
@ccordoba12: |
@@ -719,7 +719,7 @@ def is_gtk_desktop(): | |||
'zenburn/background': "#3f3f3f", | |||
'zenburn/currentline': "#333333", | |||
'zenburn/currentcell': "#2c2c2c", | |||
'zenburn/occurence': "#7a738f", | |||
'zenburn/occurrence': "#7a738f", |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Changing option names requires a major bump in CONF_VERSION
number (present below in this same file)
Other than the bump to |
Some options have been renamed: this requires a major update in configuration version.
Fixed typos (thanks to Benjamin Weis)
reStructured Text --> reStructuredText
occurence --> occurrence
Occurrence --> Occurrence