This file is indexed.

/usr/share/GConf/gsettings/devhelp.convert is in devhelp-common 3.18.1-1ubuntu5.

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-font=/apps/devhelp/fonts/variable_font
fixed-font=/apps/devhelp/fonts/fixed_font