many GUI improvements (and glue code)