Differences

This shows you the differences between the selected revisions of the page.

ui_tabs 2023-10-06		ui_tabs 2023-12-06 (current)
	Line 38:		Line 38:
	To hide tabs go to //View > Session Tabs// in [[ui_explorer\|Explorer interface]] or		To hide tabs go to //View > Session Tabs// in [[ui_explorer\|Explorer interface]] or
	//Options > Session Tabs// in [[ui_commander\|Commander interface]].		//Options > Session Tabs// in [[ui_commander\|Commander interface]].
		+
		+	If you want to see full tab titles, even if they do not fit into the window, go to the [[ui_pref_window\|//Window// page in Preferences]].

	If the session has [[task_connections#session_color\|associated color]], session tab shows icon of that color.		If the session has [[task_connections#session_color\|associated color]], session tab shows icon of that color.

ui_tabs 2023-10-06		ui_tabs 2023-12-06 (current)
	Line 38:		Line 38:
	To hide tabs go to //View > Session Tabs// in [[ui_explorer\|Explorer interface]] or		To hide tabs go to //View > Session Tabs// in [[ui_explorer\|Explorer interface]] or
	//Options > Session Tabs// in [[ui_commander\|Commander interface]].		//Options > Session Tabs// in [[ui_commander\|Commander interface]].
		+
		+	If you want to see full tab titles, even if they do not fit into the window, go to the [[ui_pref_window\|//Window// page in Preferences]].

	If the session has [[task_connections#session_color\|associated color]], session tab shows icon of that color.		If the session has [[task_connections#session_color\|associated color]], session tab shows icon of that color.

Documentation