Using decimal values for pixel sizes in Android?

android, android-layout

Solution

Yes it is :

- in MDPI, 1 dp = 1 pixel

- in XHDPI, 1 dp = 2 pixels

So using 7.5 dp is the only way to get something 15 pixels large in XHDPI.

Problem

In android values xml folder, creating values with decimal values is meaningful or not? ``` <dimen name="list_margin_left">7.25dp</dimen> <dimen name="width">40.3dp</dimen> ```

Original source