eliminate unnecessary local vars
add mutate(options), so that layout works correctly
use relative layout for IntroductionView
doc
rename x-spacing constant
doc
fix Tools combo box, so that its pop-up list is always on top