From 33905824a751e2e3139fcbb22945e078d11a278e Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Mon, 15 Apr 2019 10:59:23 +0200
Subject: [PATCH] fix add notifs propoerty

---
 src/app/panels/terminal.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/app/panels/terminal.js b/src/app/panels/terminal.js
index fd337fa998..31291edc01 100644
--- a/src/app/panels/terminal.js
+++ b/src/app/panels/terminal.js
@@ -116,6 +116,7 @@ class Terminal extends BaseApi {
     self._jsSandboxRegistered = {}
 
     self.externalApi = this.api()
+    self.externalApi.notifs = {'theme': ['switchTheme']}
     opts.appManager.init([self.externalApi])
     opts.appManager.activateRequestAndNotification(self.externalApi)