[erlang-questions] REF: Erlang doc index.html (NON URGENT)

MapAndFold <>
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,  <> 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