1 /////////////////////////////////////////////////
2 // PukiWiki - Yet another WikiWikiWeb clone.
4 // $Id: default.js,v 1.2 2004/04/03 15:56:08 arino Exp $
6 function open_mini(URL,width,height){
7 aWindow = window.open(URL, "mini", "toolbar=0,location=0,directories=0,status=0,menubar=0,scrollbars=yes,resizable=no,width="+width+",height="+height);