minor pushmenu fixes

This commit is contained in:
scotty 2016-02-15 13:47:28 -08:00
parent 87f205cbd1
commit 6b47bdc1eb
1 changed files with 2 additions and 3 deletions

File diff suppressed because one or more lines are too long