GNOME Bugzilla – Bug 749495
For some symbols, the page scrolls at the end when opening those symbols in a new tab
Last modified: 2015-10-09 12:51:27 UTC
When I do a middle click on a symbol to open that symbol in another tab, for some symbols Devhelp always scrolls at the end of the page. Note that a simple click always works fine, the links (with an anchor) are correct. For example: 1. Open WebKitWebView in Devhelp. 2. Middle-click on webkit_web_view_new() -> a new tab is opened, and it scrolls at the right place, so far so good. 3. On the first tab, scroll down to see the section "Types and Values", and middle-click on WebKitLoadEvent -> a new tab is opened with the right page, but it scrolls at the end of the page instead of going to the WebKitLoadEvent symbol. I did some debugging in devhelp, and on the devhelp side everything looks fine. webkit_web_view_load_uri() is called with the right URI. For example for the WebKitLoadEvent symbol, on my system the URI is: > file:///usr/share/gtk-doc/html/webkit2gtk-4.0/WebKitWebView.html#WebKitLoadEvent It seems that using webkit_web_view_load_uri() with an anchor works only for an anchor located at the beginning of the page. To take the example above, webkit_web_view_new() is located at the beginning, so it works. WebKitLoadEvent is located at the end, so it doesn't work. By testing the middle-click on the functions, the first functions work, and after a certain point it doesn't work (here webkit_web_view_can_show_mime_type() is the first function where it scrolls at the end). So it looks like a bug in WebKitGTK+. My rough guess it that it loads the page in several chunks, and the anchor link works only if the symbol is located on the first chunk, or something along those lines.
Reported in WebKitGTK+: https://bugs.webkit.org/show_bug.cgi?id=145371
It looks like the bug is fixed on my Fedora 23 system.