de-jcup / eclipse-jenkins-editor

Jenkins Editor - A eclipse plugin to edit "Jenkinsfile" files
https://marketplace.eclipse.org/content/jenkins-editor
Apache License 2.0
45 stars 5 forks source link

Use whitespace settings from eclipse #61

Closed ChristianLutz closed 5 years ago

ChristianLutz commented 5 years ago

Hello,

we use a lot of taps instead of spaces. So we have disabled the eclipse settings Use spaces instead of tabs. But the jenkins-editor uses usally 4 spaces.

Kind regards Christian

de-jcup commented 5 years ago

Sorry for late response.

I tried out and it works very well on my 2018-12 development instance (for upcoming release 1.7.0) and have not defined problem, as shown in next picture:

image

So ... it works... and I close the issue.

ChristianLutz commented 5 years ago

Hello @de-jcup Yes you're right I couldn't reproduce it either. Sorry for the noice. And thank you Christian

de-jcup commented 5 years ago

No problem - you are wellcome