Google Docs replace menu with search box, welcome Alt-/ command line 14 years agoSeems like Ubuntu's HUD. 0ThreadHN