03ec5d7005
Fix outdated mentions of default code font in EditorSettings documentation
Fix outdated mentions of default code font in EditorSettings documentation