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
29
30
|
help_media = [
'figures/logo32.png',
'figures/logo.png',
'figures/rowcolumnbox.png',
'figures/strategy1.png',
'figures/strategy2.png'
]
help_sources = [
'basics.page',
'bug-filing.page',
'develop.page',
'documentation.page',
'earmarks.page',
'highlighting.page',
'index.page',
'keyboard-shortcuts.page',
'legal.xml',
'license.page',
'print-blank-puzzles.page',
'print-inprogress-game.page',
'rules.page',
'save-resume.page',
'strategy.page',
'translate.page'
]
gnome.yelp('gnome-sudoku',
media: help_media,
sources: help_sources)
|
