provide a context menu and shortcuts for the doc browser tab bar (bug #44605) * documentation-dock-widget.cc (constructor): set focus proxy to _webinfo; (notice_settings): new slot, just calling the settings method in _webinfo; * documentation-dock-widget.h: new slot notice_settings * webinfo.cc (webinfo::webinfo): add close actions to the tab bar; (webinfo::add_action): new helper function for adding actions to a menu; (webinfo::request_close_tab): new slot for tab closing action; (webinfo::request_close_other_tabs): new slot for closing all other tabs; (webinfo::tab_state_changed): function called when a new tab gets focus for dis-/enabling actions and setting the focus to the new tab; (webinfo::current_tab_changed, webinfo::addNewTab, webinfo::close_tab): use new function tab_state_changed; (webinfo::notice_settings): new function called from dock widget when settings have changed, sets the close shortcuts (same as in editor); (webinfo_tab_bar::webinfo_tab_bar): initialize the new context menu; (webinfo_tab_bar::~webinfo_tab_bar): delete the context menu; (webinfo_tab_bar::mousePressEvent): extend event handler by the right click for showing the context menu * webinfo.h (webinfo_tab_bar): class variable _context_menu and public method returning this menu, constructor and destructor in webinfo.cc (webinfo): new methods add_action and notice_settings, new slots request_close_tab and request_close_other_tabs, new actions for tab closing