Add scan support in flint
Follow up on #240 (closed).
-
scan display backend API -
scan live plotting -
display attached session name in main window title bar -
ensure set_session
is robust if called multiple times, and if called with different sessions
Edited by Vincent Michel