Google Docs replace menu with search box, welcome Alt-/ command line(support.google.com)
support.google.com
Google Docs replace menu with search box, welcome Alt-/ command line
http://support.google.com/drive/bin/answer.py?hl=en&answer=99753
1 comments
Seems like Ubuntu's HUD.