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 755872 - Sometimes a page doesn't get opened
Sometimes a page doesn't get opened
Status: RESOLVED FIXED
Product: devhelp
Classification: Applications
Component: General
3.18.x
Other Linux
: Normal normal
: ---
Assigned To: devhelp-maint
devhelp-maint
Depends on:
Blocks:
 
 
Reported: 2015-09-30 11:48 UTC by Sébastien Wilmet
Modified: 2015-11-13 13:55 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Sébastien Wilmet 2015-09-30 11:48:56 UTC 
I've got this bug lots of times, and now I finally have a reproducible way to trigger it:

1. Open Devhelp, go to GLib -> GLib Utilities -> Internationalisation
2. Search in the side panel "gtk_ translation"
3. Click on the search result gtk_builder_set_translation_domain
4. Open a new tab (via the hamburger button in the headerbar)
5. Clear the search in the side panel
6. Click on the Internationalisation page
-> the page is still empty, the i18n page isn't opened!

The workaround I've used so far is just to click on another page. That other page gets opened, and then I re-click on the page that I wanted to open initially.

I will try to fix this bug during the 3.19 development cycle.

My guess is that Devhelp still thinks that the i18n page is the current page, since the GtkBuilder page was opened via the search result, not via the tree.
Comment 1 Sébastien Wilmet 2015-10-10 13:04:14 UTC 
Note to myself: after some code cleanups and various bug fixes in DhSidebar, the bug is not present in DhSidebar, it is most probably present in DhBookTree.
Comment 2 Sébastien Wilmet 2015-11-11 15:16:58 UTC 
Fixed in the wip/swilmet/various-code-improvements branch, see bug #756341.

(the commit probably relies on previous commits on the branch)