2012-07-07 15:05:35 +02:00
|
|
|
<?xml version="1.0" encoding="utf-8"?>
|
|
|
|
<resources>
|
|
|
|
<dimen name="widget_margin">8dp</dimen>
|
2012-08-27 14:27:53 +02:00
|
|
|
<dimen name="thumbnail_length">55dp</dimen>
|
2012-09-05 17:20:57 +02:00
|
|
|
<dimen name="external_player_height">55dp</dimen>
|
2012-09-13 11:39:31 +02:00
|
|
|
<dimen name="enc_icons_size">20dp</dimen>
|
2012-07-07 15:05:35 +02:00
|
|
|
|
|
|
|
</resources>
|