editing numbers with localized decimal separator #1817
Merge branch 'feature/issue-1817' into develop

Conflicts:
	src/3rdparty/copypaste.js
	test/jasmine/spec/editors/numericEditorSpec.js