Microsoft will bring Settings UI options to Windows Terminal