93 |
} |
} |
94 |
|
|
95 |
void |
void |
96 |
on_helpfaq_activate (GtkMenuItem *menuitem, |
on_helpfaq_activate (GtkMenuItem *menuitem, gpointer user_data) |
|
gpointer user_data) |
|
97 |
{ |
{ |
98 |
open_help ("FAQ"); |
open_help ("FAQ"); |
99 |
} |
} |
100 |
|
|
101 |
|
|
102 |
void |
void |
103 |
on_helpmanual_activate (GtkMenuItem *menuitem, |
on_helpmanual_activate (GtkMenuItem *menuitem, gpointer user_data) |
|
gpointer user_data) |
|
104 |
{ |
{ |
105 |
open_help ("MANUAL"); |
open_help ("MANUAL"); |
106 |
} |
} |
107 |
|
|
108 |
|
|
109 |
void |
void |
110 |
on_helptodo_activate (GtkMenuItem *menuitem, |
on_helptodo_activate (GtkMenuItem *menuitem, gpointer user_data) |
|
gpointer user_data) |
|
111 |
{ |
{ |
112 |
open_help ("TODO"); |
open_help ("TODO"); |
113 |
} |
} |
114 |
|
|
115 |
void |
void |
116 |
on_helpthanks_activate (GtkMenuItem *menuitem, |
on_helpthanks_activate (GtkMenuItem *menuitem, gpointer user_data) |
|
gpointer user_data) |
|
117 |
{ |
{ |
118 |
open_help ("THANKS"); |
open_help ("THANKS"); |
119 |
} |
} |
120 |
|
|
121 |
void |
void |
122 |
on_helpchangelog_activate (GtkMenuItem *menuitem, |
on_helpchangelog_activate (GtkMenuItem *menuitem, gpointer user_data) |
|
gpointer user_data) |
|
123 |
{ |
{ |
124 |
open_help ("ChangeLog"); |
open_help ("ChangeLog"); |
125 |
} |
} |
126 |
|
|
127 |
|
void |
128 |
|
on_helpbugs_activate (GtkMenuItem *menuitem, gpointer user_data) |
129 |
|
{ |
130 |
|
open_help ("BUGS"); |
131 |
|
} |