some minor fixes and cosmetic changes
possibility to cancel making selection with mouse
fixed: scrollbar not shown when zooming
HexWidget now supports theming: theme is read from configuration file