gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-04-21 14:51:25 +02:00
Code Issues Projects Releases Wiki Activity

make further refinements to the output of :pageinfo

Browse Source
This commit is contained in:
Doug Kearns
2007-10-27 13:37:23 +00:00
parent 94c423dc3f
commit 961a1bdad3
1 changed files with 25 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files
content/buffers.js
+10 -8
View File
@@ -524,16 +524,14 @@ vimperator.Buffer = function() //{{{
if (!file)
file = "[No Name]";
var title = window.content.document.title;
if (title.length > 60)
title = title.substr(0,57) + "... ";
else if (!title.length)
title = "[No Title]";
var title = window.content.document.title || "[No Title]";
if (cacheEntryDescriptor)
var pageSize = Math.round(cacheEntryDescriptor.dataSize / 1024 * 100) / 100 + "KB";
var pageInfoText = "" + file + ": " + title + " (" + pageSize + ", other cool things)";
var lastmod = window.content.document.lastModified.slice(0, -3);
var pageInfoText = '"' + file + '" (' + pageSize + ", " + lastmod + ") " + title;
vimperator.echo(pageInfoText, vimperator.commandline.FORCE_SINGLELINE);
return;
@@ -551,16 +549,20 @@ vimperator.Buffer = function() //{{{
pageGeneral.push(["Encoding", window.content.document.characterSet]);
if (cacheEntryDescriptor) {
var pageSize = cacheEntryDescriptor.dataSize;
pageGeneral.push(["File Size", (Math.round(pageSize / 1024 * 100) / 100) + "KB (" + pageSize + " bytes)"]);
var bytes = pageSize + '';
for (var u = bytes.length - 3; u > 0; u -= 3) // make a 1400 -> 1'400
bytes = bytes.slice(0, u) + "'" + bytes.slice(u, bytes.length);
pageGeneral.push(["File Size", (Math.round(pageSize / 1024 * 100) / 100) + "KB (" + bytes + " bytes)"]);
}
pageGeneral.push(["Compatibility", content.document.compatMode == "BackCompat" ?
"Quirks Mode" : "Full/Almost Standard Mode"]);
pageGeneral.push(["Last Modified", window.content.document.lastModified]);
// get meta tag infos info and sort and put into pageMeta[]
// get meta tag data, sort and put into pageMeta[]
var metaNodes = window.content.document.getElementsByTagName("meta");
var length = metaNodes.length;
if (length)