/usr/share/GConf/gsettings/devhelp.convert is in devhelp-common 3.14.0-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 | [org.gnome.devhelp.state.main.window]
maximized=/apps/devhelp/state/main/window/maximized
width=/apps/devhelp/state/main/window/width
height=/apps/devhelp/state/main/window/height
x-position=/apps/devhelp/state/main/window/x_position
y-position=/apps/devhelp/state/main/window/y_position
[org.gnome.devhelp.state.assistant.window]
maximized=/apps/devhelp/state/assistant/window/maximized
width=/apps/devhelp/state/assistant/window/width
height=/apps/devhelp/state/assistant/window/height
x-position=/apps/devhelp/state/assistant/window/x_position
y-position=/apps/devhelp/state/assistant/window/y_position
[org.gnome.devhelp.state.main.paned]
position=/apps/devhelp/state/main/paned/position
[org.gnome.devhelp.state.search_notebook]
selected-tab=/apps/devhelp/state/main/search_notebook/selected_tab
[org.gnome.devhelp.state.main.contents]
books-disabled=/apps/devhelp/state/main/contents/books_disabled
group-books-by-language=/apps/devhelp/state/main/contents/group_books_by_language
[org.gnome.devhelp.fonts]
use-system-fonts=/apps/devhelp/fonts/use_system_fonts
variable-fonts=/apps/devhelp/fonts/variable_font
fixed-font=/apps/devhelp/fonts/fixed_font
|