Fixed: incorrect edit window style in version 6.9.
Authored by: instructor_ 2015-06-20
Parent: [r3929]
Child: [r3931]