Use f4 for iedit-mode in terminals, fix highlight colors