After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 749495 - For some symbols, the page scrolls at the end when opening those symbols in a new tab
For some symbols, the page scrolls at the end when opening those symbols in a...
Status: RESOLVED FIXED
Product: devhelp
Classification: Applications
Component: General
3.16.x
Other Linux
: Normal normal
: ---
Assigned To: devhelp-maint
devhelp-maint
Depends on:
Blocks:
 
 
Reported: 2015-05-17 13:34 UTC by Sébastien Wilmet
Modified: 2015-10-09 12:51 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description Sébastien Wilmet 2015-05-17 13:34:11 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.
Comment 1 Sébastien Wilmet 2015-05-25 18:47:33 UTC
Reported in WebKitGTK+:
https://bugs.webkit.org/show_bug.cgi?id=145371
Comment 2 Sébastien Wilmet 2015-10-09 12:51:27 UTC
It looks like the bug is fixed on my Fedora 23 system.