From c1b3822d47970cde596f810420c9e525cbdc73bf Mon Sep 17 00:00:00 2001
From: nightwing <amirjanyan@gmail.com>
Date: Mon, 1 Jan 2018 17:15:58 +0400
Subject: [PATCH] fix section highlighting in preferences panel

---
 plugins/c9.ide.ui/forms.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/plugins/c9.ide.ui/forms.js b/plugins/c9.ide.ui/forms.js
index eed44c22..08b47131 100644
--- a/plugins/c9.ide.ui/forms.js
+++ b/plugins/c9.ide.ui/forms.js
@@ -115,9 +115,10 @@ define(function(require, exports, module) {
                 if (!heading) {
                     if (!hack) {
                         var aml = container.appendChild(new ui.bar());
+                        aml.$int.textContent = "";
                         ui.buildDom(["div", { class: "header" }, 
                             ["span"], ["div", (debug ? "[" + (position || "") + "] " : "") + name]
-                        ]);
+                        ], aml.$int);
                     }
                     
                     heading = headings[name] = {