Fix copy/paste behavior when interacting with terminals#498

dymk wants to merge 1 commit intocs01:mastercs01/gdbgui:masterfrom

dymk:dymk/fix-gdbgui-copy-pastedymk/gdbgui:dymk/fix-gdbgui-copy-pasteCopy head branch name to clipboard