From 0b18e46bc3c770baf66512621cc39eb9c7c916aa Mon Sep 17 00:00:00 2001
From: Peter 'Pita' Martischka <petermartischka@googlemail.com>
Date: Sun, 21 Aug 2011 19:07:35 +0100
Subject: [PATCH] keep the userlist open while editing

---
 static/js/pad_editbar.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/static/js/pad_editbar.js b/static/js/pad_editbar.js
index 4074d86c8..ae1090687 100644
--- a/static/js/pad_editbar.js
+++ b/static/js/pad_editbar.js
@@ -171,6 +171,10 @@ var padeditbar = (function()
       {
         for(var i=0;i<modules.length;i++)
         {
+          //skip the userlist
+          if(modules[i] == "users")
+            continue;
+          
           var module = $("#" + modules[i]);
         
           if(module.css('display') != "none")