Add possiblity to refresh the push directory directly from the contact picking list. Fixes #835. Fixes #859.

Thanks benalbrecht for the icons.
This commit is contained in:
Lukas Barth
2014-03-03 13:21:12 +01:00
parent 2dc893730a
commit 39ee363150
13 changed files with 76 additions and 1 deletions

View File

@@ -60,6 +60,7 @@
<attr name="menu_group_icon" format="reference" />
<attr name="menu_split_icon" format="reference" />
<attr name="menu_accept_icon" format="reference" />
<attr name="menu_refresh_directory" format="reference" />
<declare-styleable name="ForegroundImageView">
<attr name="android:foreground" />