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 775175 - Problems with back/forward buttons sensitivity
Problems with back/forward buttons sensitivity
Status: RESOLVED FIXED
Product: devhelp
Classification: Applications
Component: General
3.22.x
Other Linux
: Normal normal
: ---
Assigned To: devhelp-maint
devhelp-maint
Depends on:
Blocks:
 
 
Reported: 2016-11-27 15:13 UTC by Sébastien Wilmet
Modified: 2017-05-05 20:27 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Sébastien Wilmet 2016-11-27 15:13:44 UTC 
Steps to reproduce:
1. Launch Devhelp.
2. Click on Devhelp Reference Manual in the side panel (book tree).
3. Click on Initialization.
4. Click on dh_init().
5. Undo

-> Redo is insensitive, it should be sensitive instead.

6. Undo x2
7. (Redo is sensitive) Redo x3

-> Redo is still sensitive, but it should be insensitive because we are at dh_init(). Clicking again on Redo does nothing.

8. Hamburger menu -> New tab.
9. Go back to first tab.

-> Redo is now correctly marked as insensitive.
Comment 1 Sébastien Wilmet 2017-05-05 17:34:45 UTC 
WebKitWebView doesn't provide a convenient API to update the sensitivity of the previous/next buttons, I've filed this bug:

https://bugs.webkit.org/show_bug.cgi?id=171735
"Add WebKitWebView can-go-back and can-go-forward properties"

Currently in Devhelp there is probably some missing calls to window_check_history() in dh-window.c.
Comment 2 Sébastien Wilmet 2017-05-05 20:11:54 UTC 
Fixed with commit edfa52b71a5e795c1c8a24c0da3ac7f70c88b170.

There is actually a convenient API: the "changed" signal of WebKitBackForwardList.