Side-note: what theme are you using in the linked gif? It's right in the middle of my two favorite themes, onedark and gruvbox.