[erlang-questions] REF: Erlang doc index.html (NON URGENT)
MapAndFold
mapandfold@REDACTED
Wed Dec 15 09:00:07 CET 2010
I have written a user script to fix this.
To use this, remember to update @include to your local directory.
// ==UserScript==
// @name fix erlang doc
// @author Mapandfold
// @include file://localhost/E:/Program%20Files/erl*/*
// ==/UserScript==
window.opera.defineMagicFunction(
'setscrollpos',
function ()
{
var objf = document.getElementById('loadscrollpos');
if (objf)
document.getElementById("leftnav").scrollTop =
objf.offsetTop - getWinHeight()/2;
else
initFlip();
}
);
// end of file
On Tue, Dec 14, 2010 at 6:11 PM, <dkoch@REDACTED> wrote:
> The left pane doesn't opens/shows correctly in the Opera browser. In fact only the last items ("System Documentation" always and sometimes "Miscellaneous") do. Could you please check this for the next iteration ? Thanks...
> David "Kochise" KOCH
--
http://hi.baidu.com/mapandfold
More information about the erlang-questions
mailing list