- {"about", "About", print_about},
- {"news", "News", print_news},
- {"screenshots", "Screenshots", print_screenshots},
- {"download", "Download", print_download},
- {"development", "Development", print_development},
- {NULL, NULL, NULL},
+ {"about", "About", print_about, 0.7, NULL},
+ {"news", "News", print_news, 0.3, NULL},
+ {"manual", "Manual", print_manual, 0.5, NULL},
+ {"screenshots", "Screenshots", print_screenshots, 0.5, NULL},
+ {"download", "Download", print_download, 0.7, NULL},
+ {"development", "Development", print_development, 0.3, NULL},
+ {NULL, NULL, NULL, 0.0, NULL},