bookmarks: key shortcut to open/close bookmarks widget