Setting default extension(.txt) when saving WP

Based on definitions found in src/configuration.h the use of backslash should work for windows users as well ?
- I failed to find a OS-dependent "/" or "\" use elsewhere.