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

Fix IfElseToFilteredOptionInspection shortName #414

Closed

Conversation

t-kameyama
Copy link
Contributor

No description provided.

@SrTobi SrTobi changed the base branch from idea173.x to idea191.x-tobias/PRs January 15, 2019 23:13
@SrTobi
Copy link
Contributor

SrTobi commented Jan 15, 2019

Hmm... I can merge this. The question is, if it is worth fixing the typo in comparison to that we would destroy every disabled warning comment for users downstream...

@jastice jastice assigned agbragin and unassigned agbragin Jan 15, 2019
@niktrop
Copy link
Contributor

niktrop commented Jan 16, 2019

@SrTobi Good catch, I think it's better to keep it as is. But you also have to make the same typo in inspectionDescriptions/IfElseToFilteredOption.html :)

@niktrop niktrop closed this Jan 16, 2019
@t-kameyama t-kameyama deleted the SCL-10175 branch January 16, 2019 11:59
SrTobi added a commit that referenced this pull request Jan 16, 2019
…rtname

The typo in the html page's name is deliberate. We did not want to fix
the actual typo in the shortname, because that would break
disabling-comments for users downstream.
  See #414

SCL-10175
JetBrainsTeamCity pushed a commit that referenced this pull request Jan 16, 2019
…rtname

The typo in the html page's name is deliberate. We did not want to fix
the actual typo in the shortname, because that would break
disabling-comments for users downstream.
  See #414

SCL-10175
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
4 participants