From d0d8bf07ae5a3914e7d88df8089fefcded71d24b Mon Sep 17 00:00:00 2001
From: Fabrice Daugan <fabrice.daugan@gmail.com>
Date: Sun, 14 Feb 2016 17:39:16 +0100
Subject: [PATCH] Update button.js

---
 js/button.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/js/button.js b/js/button.js
index d10cd5cac67d..23be8a9b3804 100644
--- a/js/button.js
+++ b/js/button.js
@@ -114,7 +114,6 @@
       if (!($(e.target).is('input[type="radio"]') || $(e.target).is('input[type="checkbox"]'))) {
         // Prevent double click on radios, and the double selections (so cancellation) on checkboxes
         e.preventDefault()
-        
         // The target component still receive the focus
         $(e.target).focus()
       }