Google Docs replace menu with search box, welcome Alt-/ command line(support.google.com)2 points by skardan 13 years ago | 1 comment