Android :Как установить допустимые цифры и символы в EditText?

Мне нужно установить допустимые символы "0123456789" и "точку с запятой" в EditText. Ниже приведен код, который я использую.

android:digits="0123456789;"
android:inputType="number|text

Проблема с этой реализацией заключается в том, что в телефонах HTC точка с запятой не может быть введена, но в Samsung и Sony Ericsson точка с запятой может быть введена Другая проблема заключается в том, что когда я вводил точку с запятой в Samsung и Sony Ericsson, точка с запятой не может быть удалена. отсутствует свойство в приведенном выше коде? Заранее спасибо.