GUI: ctrl c ctrl v only works if main dock window is selected #45

Closed pabloderen closed 6 years ago