Issues · GNOME / devhelp · GitLab

Allow bookmarking pages

#7 · opened Mar 07, 2019 by Salman Mohammadi 1. Feature
- CLOSED
- 1
updated Sep 12, 2019
Ctrl+F search (inside a page): if the search entry is already visible but not focused, pressing Ctrl+F a second time doesn't change the focus to the search entry

#6 · opened Jan 10, 2019 by Anton Karmanov 1. Bug 4. Newcomers Minor
- CLOSED
- 1
- 3
updated Dec 19, 2019
Content is empty

#5 · opened Nov 06, 2018 by Ondrej Holy
- CLOSED
- 1
- 3
updated Nov 19, 2018
Cleanup devhelp codebase with modern glib features

#4 · opened Aug 16, 2018 by Günther Wagner
- CLOSED
- 1
updated Oct 10, 2018
Install docset by dragging it into the window of devhelp

#3 · opened Aug 16, 2018 by Günther Wagner 1. Feature 3. Out of Scope
- CLOSED
- 2
updated Oct 10, 2018
Revert amtk patches

#2 · opened Aug 15, 2018 by Günther Wagner GNOME 3.30
- CLOSED
- 1
- 9
updated Oct 11, 2018
Support Dash docsets

#1 · opened Jun 01, 2018 by Rom Grk 1. Feature
- CLOSED
- 1
- 6
- 4
updated Jan 02, 2021