What's the difference between Defaults and Properties when changing cmd.exe or PowerShell's settings?
- by mmm bacon
I want to change the font used by both cmd.exe and PowerShell. When I right click in the window border, I see both Defaults and Properties:
What's the difference? One would think Defaults was for all sessions, and Properties was for the current session. However, changes to Properties are persisted even after relaunching cmd.exe.
Another problem is that changing the font in either Defaults or Properties doesn't actually change the font. This is on Windows 8.