New settings: style your editor with more” -> “Options” -> “Editor options” to your hearts content! How do you like that? I like the “⤨”…”