browser

JavaScript: edit web page in browser

Friday, July 11th, 2008

Here is small bookmarklet, which allows to edit the web page for any site (ok, You could save the results on Your local machine only).

javascript:document.body.contentEditable=’true’; document.designMode=’on’; void 0

Check the default browser

Thursday, January 10th, 2008

The following section in registry should be checked:
HKEY_CLASSES_ROOT\http\shell\open\command
Key: (default)
Most (but not all) browsers check it to determine the current browser.

currentBrowser = RegistryGet(”HKEY_CLASSES_ROOT”,”http\shell\open\command”,”")
MsgBox( currentBrowser )

Some browsers could create additional section HKEY_CLASSES_ROOT\http\shell\OpenWith\command, which helps to avoid the conflict with IE settings.

Template for proxy auto-config file

Monday, August 6th, 2007

Proxy autoconfig file could be used in browser (Opera,FireFox,IE) to change the proxy dynamically.

var ALLOWED = “DIRECT”;
var DISALLOWED = “PROXY 0.0.0.0:1234″;
function FindProxyForURL(url, host)
{
if (shExpMatch(url,”*.badsite.com/*”)) {return DISALLOWED;}
var currentTime = new Date();// convert the current time to minutes
var now = 60*currentTime.getHours() + currentTime.getMinutes();
// Do not allow the access before 18:00
if (now < 18 * 60 ) [...]