added extra decimal place in Ebel Tube Current spinbutton
Ebel widget: settings are preserved when closing the window

Implemented using the preferences interface