auto save code review debugging duplicate selection expand selection go to symbol highlight keybindings undo redo shrink selection switch editor toggle switch zoom in zoom out copy and paste cut and paste find and replace application browser author console container display display-port editor element folder history network preview previews profiles recorder sidebar tabs theme themes workspace font size font family font weight font style font color background color background image background gradient border border radius border color border width true false null empty ampersand double ampersands pipe double pipes asterisk backslash backtick caret colon comma dash dot double colon double dash double dot double quote double semicolon double underscore redirection append redirection single grater double grater sudo csv Comma-separated values via the dedicated app via the web app preferences miscellaneous settings tweaks plugins shortcuts extensions metadata sharing advanced import export reset update upgrade install uninstall check for updates report a bug request a feature