pressed key highlighting is too hard to fix for now, so just disable it via new config option