emrg: GUI session header + session-list name refresh + result-list pane fix - #768

emrg: GUI session header + session-list name refresh + result-list pane fix#768

argszero merged 2 commits into

masterargszero/emrg:masterfrom

feature/session-header-titleargszero/emrg:feature/session-header-titleCopy head branch name to clipboard