By default pipeline editor opens/edits "Jenkinsfile" from the defined branches in the job.

When i define the pipeline script as "Jenkinsfile.dev" by changing the configuration using Jenkins UI, build executes well using "Jenkinsfile.dev" but when we open the pipeline editor it tries to edit the default "Jenkinsfile" & not "Jenkinsfile.dev" & it pushes the changes as well in "Jenkinsfile" instead of "Jenkinsfile.dev".

Not sure if it's yet to implement. Any suggestions will be helpful.