github/android — pull request #622 by jonanp (2014-12-14 21:45:33+00:00)
Title: Improve the source viewer in newer Android versions

If merged after #621 this patch improves the source viewer for newer Android versions.