Save the current level Returns 1 if level saved sucessfully
| 634 | // Save the current level |
| 635 | // Returns 1 if level saved sucessfully |
| 636 | int EditorSaveLevel(char *filename) { |
| 637 | int sucess; |
| 638 | |
| 639 | sucess = SaveLevel(filename); |
| 640 | |
| 641 | if (sucess) |
| 642 | Mine_changed = 0; |
| 643 | |
| 644 | return sucess; |
| 645 | } |
| 646 | |
| 647 | // Returns a pointer to enough spaces to right-justify a number that's printed after the spaces |
| 648 | char *IntSpacing(int i) { |
no test coverage detected