some gui tweaks concerning android package
Merge remote-tracking branch 'origin/master'
some more gui tweaks for android