themes font-smoothing enhancements
highlighting, process indicator, autocomplete settings, small fixes and improvements