From d60baa4da098fa3015b5af8f3265d9f471183ef3 Mon Sep 17 00:00:00 2001
From: Damillora <duniapengetahuan.12345@gmail.com>
Date: Tue, 4 Jul 2017 00:07:12 +0700
Subject: [PATCH] handle blur in preference window

---
 preferencemanager.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/preferencemanager.js b/preferencemanager.js
index 46ef284..99d7663 100644
--- a/preferencemanager.js
+++ b/preferencemanager.js
@@ -21,6 +21,9 @@ function showPreferences_int(){
         // when you should delete the corresponding element.
         preferencesWindow = null
       })
+      preferencesWindow.on('blur',() => {
+        preferencesWindow.close();
+      })
 }
 }
 module.exports.showPreferences = function(){