From 52a5d796916a94aab65e9a4dd4bdd386bd551c57 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ond=C5=99ej=20Hru=C5=A1ka?= <ondra@ondrovo.com>
Date: Mon, 11 Sep 2017 23:41:36 +0200
Subject: [PATCH] added doc comment to palette setter so phpstorm doesn't throw
 a fit

---
 js/term_screen.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/term_screen.js b/js/term_screen.js
index b332307..7d38f6e 100644
--- a/js/term_screen.js
+++ b/js/term_screen.js
@@ -419,7 +419,7 @@ window.TermScreen = class TermScreen {
   get palette () {
     return this._palette || themes[0]
   }
-
+  /** @type {number[]} */
   set palette (palette) {
     if (this._palette !== palette) {
       this._palette = palette