Fader: add a way to disable the x100 display conversion so the fader widget can be used with arbitrary values
Also it can now be used with alternate pixmaps
Merge pull request #1431 from diizy/master

Fader: add a way to disable the x100 display conversion so the fader wid...