I use shift+shift and type for all three of these. Although i do use cmd+shift+r...

		jasonjmcghee 4 days ago \| parent \| context \| favorite \| on: Ki Editor - an editor that operates on the AST I use shift+shift and type for all three of these. Although i do use cmd+shift+r for global replace

		help