Daniel Martí 682cf58aa9 Merge branch 'search-widget' into 'master' ...

Replace search dialog with a search widget

SearchView is the recommended way to implement search UI. See https://developer.android.com/guide/topics/search/search-dialog.html#UsingSearchWidget

The UX is still far from ideal but looks much better now.

Before and after (Gingerbred):

![gingerbred-before](/uploads/f724afaf152aeef8ff9cb3e838427d22/gingerbred-before.png)
![gingerbred-after](/uploads/da67fe57d2a55e64cce7d0cba31aa181/gingerbred-after.png)

Before and after (Lollipop):

![lollipop-before](/uploads/4a50258993a8304d984450456d07e3bb/lollipop-before.png)
![lollipop-after](/uploads/4b49b2f802eca567c6713fe653b10331/lollipop-after.png)


See merge request !168

2015-11-13 17:22:19 +00:00

..

assets

Run optipng -o7 on all png images

2015-10-04 08:14:48 -07:00

libs/binaryDeps

Update jmdns to 3.4.2 from 3.4.1+ trunk

2015-10-06 14:11:30 +02:00

res

Merge branch 'search-widget' into 'master'

2015-11-13 17:22:19 +00:00

src

Merge branch 'search-widget' into 'master'

2015-11-13 17:22:19 +00:00

test

Fix tests by never caching a null signature

2015-11-13 11:42:47 +01:00

tools

Make remove-unused-trans remove empty strings

2015-10-19 09:49:14 +02:00

AndroidManifest.xml

Replace search dialog with a search widget

2015-11-13 08:27:55 +03:00

build.gradle

Bump build-tools to 23.0.2

2015-11-05 12:00:42 +01:00

proguard-rules.pro

proguard: only keep zipsigner

2015-11-12 20:21:48 +01:00