{"ast_node_type":"other","tokens":[{"end":2,"kind":"keyword","start":0,"text":"//"}]}
//
// Focusing is usually hovering with a mouse, but can also be triggered with a shortcut.
// ![Hover](https://user-images.githubusercontent.com/48062697/113020658-b5f98b80-917a-11eb-9f88-3dbc27320c95.gif)