few minor UI settings
Merge branch 'pick-one-jpl' of https://github.com/tancrede/RedProject into pick-one-jpl