+ case GLUT_KEY_F3: {
+ string panel_path =
+ current_properties.getStringValue("/sim/panel/path",
+ "Panels/Default/default.xml");
+ FGPanel * new_panel = fgReadPanel(panel_path);
+ if (new_panel == 0) {
+ FG_LOG(FG_INPUT, FG_ALERT,
+ "Error reading new panel from " << panel_path);
+ return;
+ }
+ FG_LOG(FG_INPUT, FG_INFO, "Loaded new panel from " << panel_path);
+ delete current_panel;
+ current_panel = new_panel;
+ return;
+ }
+ case GLUT_KEY_F4: {
+ FGPath props_path(globals->get_options()->get_fg_root());
+ props_path.append("preferences.xml");
+ FG_LOG(FG_INPUT, FG_INFO, "Rereading global preferences");
+ if (!readPropertyList(props_path.str(), ¤t_properties)) {
+ FG_LOG(FG_INPUT, FG_ALERT,
+ "Failed to reread global preferences from "
+ << props_path.str());
+ } else {
+ FG_LOG(FG_INPUT, FG_INFO, "Finished Reading global preferences");
+ }
+ return;
+ }
+ case GLUT_KEY_F5: {
+ current_panel->setYOffset(current_panel->getYOffset() - 5);
+ fgReshape(globals->get_options()->get_xsize(),
+ globals->get_options()->get_ysize());
+ return;
+ }
+ case GLUT_KEY_F6: {
+ current_panel->setYOffset(current_panel->getYOffset() + 5);
+ fgReshape(globals->get_options()->get_xsize(),
+ globals->get_options()->get_ysize());
+ return;
+ }
+ case GLUT_KEY_F7: {
+ current_panel->setXOffset(current_panel->getXOffset() - 5);
+ return;
+ }
+ case GLUT_KEY_F8: {
+ current_panel->setXOffset(current_panel->getXOffset() + 5);
+ return;
+ }