title: Is it possible to restrict a EditTextPreference to numbers?
body: <p>I have an <code>EditTextPreference</code> in the settings of my app for which I only want to accept positive decimal numbers:</p>
  <pre><code>&lt;EditTextPreference
      android:key=&quot;annual_vacation_setting&quot;
      android:title=&quot;@string/enter_annual_vacation&quot;
      android:defaultValue=&quot;@string/default_annual_vacation&quot;
      android:inputType=&quot;numberDecimal&quot;
      android:selectAllOnFocus=&quot;true&quot; /&gt;
  </code></pre>
  <p>Unfortunately, the <code>inputType</code> attribute doesn't seem to have any effect. The user can input arbitrary strings.</p>