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 704821 - Implement automatic refresh for edited DocBook files
Implement automatic refresh for edited DocBook files
Status: RESOLVED FIXED
Product: yelp
Classification: Applications
Component: DocBook
unspecified
Other Linux
: Normal enhancement
: ---
Assigned To: Yelp maintainers
Yelp maintainers
Depends on:
Blocks:
 
 
Reported: 2013-07-24 16:19 UTC by Jaromir Hradilek
Modified: 2013-11-19 02:10 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Jaromir Hradilek 2013-07-24 16:19:39 UTC 
When working with Mallard pages, Yelp monitors the source directory and automatically refreshes the displayed document whenever the corresponding source file changes. Unfortunately, Yelp does not do this for DocBook documents and there is no apparent way to refresh the page manually other than closing and opening the file again. I think it would be useful to implement the automatic refresh for DocBook files as well.
Comment 1 Shaun McCance 2013-11-19 02:10:04 UTC 
Implemented in master. It'll be in the next 3.11 release.