Android: Jak ustawić dopuszczalne liczby i znaki w EditText?

Muszę ustawić dopuszczalne znaki „0123456789” i „średnik” w EditText. Poniżej znajduje się kod, którego używam.

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

Problem z tą implementacją jest w telefonach HTC, średnik nie może być wprowadzony, ale w Samsung i Sony Ericsson można wprowadzić średnik. Innym problemem jest wpisanie średnika w Samsungu i Sony Ericsson, średnik nie może zostać usunięty. Czy w powyższym kodzie brakuje jakiejś właściwości? Z góry dziękuję.