View Revisions: Note 124367

Summary 0037435: Can't choose default editor font in IDE