diff --git a/src/lib/editorManager.js b/src/lib/editorManager.js
index b26db876..d91c5976 100644
--- a/src/lib/editorManager.js
+++ b/src/lib/editorManager.js
@@ -386,6 +386,7 @@ async function EditorManager($header, $body) {
 		editor.setOption("printMarginColumn", settings.printMargin);
 		editor.setOption("enableBasicAutocompletion", true);
 		editor.setOption("enableLiveAutocompletion", settings.liveAutoCompletion);
+		editor.setOption("copyWithEmptySelection", true);
 		// editor.setOption('enableInlineAutocompletion', settings.inlineAutoCompletion);
 
 		updateMargin(true);