Userscripts.org

The following is an archive of comments made before threaded discussions was implemented (November 16th, 2008)

Great script. I made changes as outlined below to add a little more height to the editor window:

Original code:
ea.style.height = window.innerHeight-300 +'px';
Modified to:
ea.style.height = window.innerHeight-200 +'px';

Original code:
ref.style.height = window.innerHeight-300 +'px';
Modified to:
ref.style.height = window.innerHeight-200 +'px';

Nice work!