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

<code>android:digits="0123456789;"
android:inputType="number|text
</code>

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