What's the difference between Defaults and Properties when changing cmd.exe or PowerShell's settings?
Posted
by
mmm bacon
on Super User
See other posts from Super User
or by mmm bacon
Published on 2012-12-16T20:40:06Z
Indexed on
2012/12/17
11:05 UTC
Read the original article
Hit count: 297
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.
© Super User or respective owner