Google Docs replace menu with search box, welcome Alt-/ command line Posted by skardan on Saturday January 05, 2013 @05:44AM from the support.google.com dept. http://support.google.com/drive/bin/answer.py?hl=en&answer=99753 ( 1 comment | 2 points | on HN )