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.

Last modified: by martin