From 245ee5584ffff0a8510d5db1833bf3b9f61fe276 Mon Sep 17 00:00:00 2001
From: nuintun <nuintun@gmail.com>
Date: Mon, 30 Nov 2015 17:58:59 +0800
Subject: [PATCH] update files

---
 static/js/terminal/xterm.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/static/js/terminal/xterm.js b/static/js/terminal/xterm.js
index 7244854..3114e87 100644
--- a/static/js/terminal/xterm.js
+++ b/static/js/terminal/xterm.js
@@ -921,7 +921,8 @@ var CHARSET_0 = {
   'y': '≤', 'z': '≥', '{': 'π', '|': '≠', '}': '£', '~': '°'
 };
 
-/** fix: box drawing bold */// FIXME: should this go into frontend?
+/** fix: box drawing bold */
+// FIXME: should this go into frontend?
 // since most monospace fonts can't handle bold on these right we have to
 // switch to to corrensponding unicode character
 var BOXSYMBOLS_BOLD = {