Android: FINALLY fixed crash bug when clicking on options menu on Samsung devices. The problem was due to setting a color to panelFullBackground instead of a drawable. However, the text is black instead of white... haven't found a solution in the last hour and a half. Sometimes Android makes you sweat for stupid reasons like that...

Related to issue #406.