diff options
Diffstat (limited to 'res/values/dimens.xml')
-rw-r--r-- | res/values/dimens.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/res/values/dimens.xml b/res/values/dimens.xml index 15f37ad41..d591535d3 100644 --- a/res/values/dimens.xml +++ b/res/values/dimens.xml @@ -70,6 +70,11 @@ <!-- Drag padding to add to the bottom of drop targets --> <dimen name="drop_target_drag_padding">14dp</dimen> + <dimen name="infomation_count_height">14dp</dimen> + <dimen name="infomation_count_min_width">14dp</dimen> + <dimen name="infomation_count_textsize">11dp</dimen> + <dimen name="infomation_count_padding">4dp</dimen> + <dimen name="infomation_count_circle_radius">7dp</dimen> <!-- Dragging --> <!-- the area at the edge of the screen that makes the workspace go left or right while you're dragging. --> |