From 624ec9c5f9ddeb2394b206ba38f500a7d5181f0a Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Sat, 19 Feb 2011 10:38:58 -0500
Subject: [PATCH] Make edit privileges panel more manageable

---
 js/server_privileges.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/js/server_privileges.js b/js/server_privileges.js
index a18ec9f4a..5fe839804 100644
--- a/js/server_privileges.js
+++ b/js/server_privileges.js
@@ -212,6 +212,7 @@ $(document).ready(function() {
                 width: 800,
                 // height is a workaround for this Chrome problem:
                 // http://bugs.jqueryui.com/ticket/4671
+                // also it's interesting to be able to scroll this window
                 height: 600,
                 modal: true,
                 buttons: button_options
@@ -322,6 +323,7 @@ $(document).ready(function() {
             .append(data)
             .dialog({
                 width: 900,
+                height: 600,
                 buttons: button_options
             }); //dialog options end
             displayPasswordGenerateButton();