android - 十进制值的 Android EditText 不允许更改尾数

Question

在我的 android 应用程序中，我使用 EditText 作为十进制值：

    <EditText
        android:id="@+id/valueEditor"
        android:layout_width="match_parent"
        android:layout_height="wrap_content"
        android:ems="10"
        android:inputType="numberDecimal" >

我用

double value; /* ... */
valueEditor = (EditText) v.findViewById(R.id.valueEditor);
valueEditor.setText(Double.toString(value));

用一个值填充这个 EditText。

现在的问题是像 1.0E-9 这样的值。可以更改指数，但除了删除数字之外，不能更改尾数。有谁知道解决方案（除了明显不使用 inputType numberDecimal）？