From 88f2fe8ca857eb60729ccf6b19c6c0734939e740 Mon Sep 17 00:00:00 2001
From: "sfraser%netscape.com" <sfraser%netscape.com>
Date: Thu, 14 Sep 2006 05:53:07 +0000
Subject: [PATCH] Fix 43119 -- make the Page Info dialog pretty, and 49187 --
 allow copy/drag in view source. r=ben

---
 suite/browser/navigator.js | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/suite/browser/navigator.js b/suite/browser/navigator.js
index 99ce1527f2e7..e35049a2a1c7 100644
--- a/suite/browser/navigator.js
+++ b/suite/browser/navigator.js
@@ -1302,7 +1302,6 @@ function BrowserChangeTextSize(newSize)
 
   function BrowserViewSource()
   {
-	  dump("BrowserViewSource(); \n ");
     var docCharset = null;
 
     try 
@@ -1310,7 +1309,7 @@ function BrowserChangeTextSize(newSize)
       var wnd = document.commandDispatcher.focusedWindow;
       if (window == wnd) wnd = window._content;
       docCharset = "charset="+ wnd.document.characterSet;
-      dump("*** Current document charset: " + docCharset + "\n");
+      // dump("*** Current document charset: " + docCharset + "\n");
     }
 
     catch(ex) 
@@ -1341,14 +1340,13 @@ function BrowserChangeTextSize(newSize)
         dump("*** Failed to preset charset menu for the view-source window\n");
         window.openDialog( "chrome://navigator/content/viewSource.xul",
 					         "_blank",
-					         "chrome,dialog=no",
+					         "scrollbars,resizable,chrome,dialog=no",
 					         window._content.location);
     }
   }
 
   function BrowserPageInfo()
   {
-    dump("BrowserPageInfo(); \n ");
     var charsetArg = new String();
     
     if (appCore != null) {
@@ -1374,7 +1372,7 @@ function BrowserChangeTextSize(newSize)
       
     } else {
       //if everythig else fails, forget about the charset
-      window.openDialog( "chrome://navigator/content/viewSource.xul",
+      window.openDialog( "chrome://navigator/content/pageInfo.xul",
                          "_blank",
                          "chrome,dialog=no",
                          window._content.location);