Fix 43119 -- make the Page Info dialog pretty, and 49187 -- allow copy/drag in view source. r=ben

This commit is contained in:
sfraser%netscape.com 2006-09-14 05:53:07 +00:00
Родитель 36f246c1d3
Коммит 88f2fe8ca8
1 изменённых файлов: 3 добавлений и 5 удалений

Просмотреть файл

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