Move the new session button to the header so we have it globally - #75

Move the new session button to the header so we have it globally#75

Mbeaulne wants to merge 1 commit into

mainTangleML/tangent-shell:mainfrom

move_new_session_to_headerTangleML/tangent-shell:move_new_session_to_headerCopy head branch name to clipboard