From fe88ea5c05c01eabcea902f1bef73ec645605496 Mon Sep 17 00:00:00 2001
From: chylex <contact@chylex.com>
Date: Sat, 12 Aug 2017 03:37:24 +0200
Subject: [PATCH] Fix ctrl key not opening gifs externally

---
 Resources/Scripts/code.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Resources/Scripts/code.js b/Resources/Scripts/code.js
index 9aeaa206..b2462cb5 100644
--- a/Resources/Scripts/code.js
+++ b/Resources/Scripts/code.js
@@ -800,7 +800,7 @@
     };
     
     app.delegate(".js-gif-play", "click", function(e){
-      let src = $(this).closest(".js-media-gif-container").find("video").attr("src");
+      let src = !e.ctrlKey && $(this).closest(".js-media-gif-container").find("video").attr("src");
       
       if (src){
         playVideo(src);