#4 Editor doesn't revert to default preferences

closed-duplicate
nobody
None
5
2001-09-13
2001-09-13
Anonymous
No

Editor doesn't revert to default preferences

Discussion