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: 363
        
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