search

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

Space vs Tab Option #22

Closed botPotyo closed 7 years ago

botPotyo commented 7 years ago

Would it be possible to add an option to use spaces (and number of spaces) instead of tabs in the editor?

paulvi commented 7 years ago

use Eclipse preferences for all TextEditor-based editors

image

de-jcup commented 7 years ago

@paulvi thank you for the answer - absolute correct. When enabling "Insert spaces for tabs" as described by paul in picture above this works: When opening Jenkinseditor 0.4.0 and entering a + TAB + b + TAB + c and enabling "Show whitespace character' you will see the tabs are replaced by spaces:

image

@botPotyo I think this shows the issue can be closed - what I am doing now.