Better naming and minor coding style fixes

Authored by jgrulich on May 9 2018, 5:14 PM.

Description

Better naming and minor coding style fixes

Details

Committed
jgrulichMay 9 2018, 5:14 PM
Parents
R116:292bf439411f: layout of exit button fixed
Branches
Unknown
Tags
Unknown