changeset 17005 | a0d0b5aa304d |
parent 16992 | 01cd10d0a65a |
child 17006 | db74a64a26d6 |
--- a/AbstractSettingsApplication.st Wed Nov 02 15:30:56 2016 +0100 +++ b/AbstractSettingsApplication.st Wed Nov 02 16:18:49 2016 +0100 @@ -4319,7 +4319,7 @@ basicSaveSettings - currentUserPrefs enableVMWareDrawingBugWorkaround:self enableVMWareDrawingBugWorkaround. + currentUserPrefs enableVMWareDrawingBugWorkaround:self enableVMWareDrawingBugWorkaround value. Image flushDeviceImages. screen visualType == #PseudoColor ifTrue:[