| 751 | } |
| 752 | |
| 753 | void menuPrintConfig(FILE* file) { |
| 754 | for (int i=0; i<numMenus; i++) { |
| 755 | for (int j=0; j<menuList[i].numOptions; j++) { |
| 756 | if (menuList[i].options[j].numValues != 0) |
| 757 | fiprintf(file, "%s=%d\n", menuList[i].options[j].name, menuList[i].options[j].selection); |
| 758 | } |
| 759 | } |
| 760 | } |
| 761 | |
| 762 | void printLog(const char *format, ...) { |
| 763 | if (isMenuOn() || sharedData->scalingOn) |