* commit 'e477ff0cde13de7996eb79fa2352cbfa3a3c5b75': Fix bug #7206086 NumberPicker widget should use locale digits