branch | jv |
changeset 8452 | 6336f75507a0 |
parent 8420 | 76e39223f5ab |
child 9071 | 9ceb22436681 |
--- a/XWorkstation.st Tue Jul 17 08:03:06 2018 +0200 +++ b/XWorkstation.st Thu Jul 19 20:54:26 2018 +0100 @@ -9517,7 +9517,7 @@ super initializeScreenProperties. hasShapeExtension := self hasExtension:#SHAPE. - hasShmExtension := self hasExtension:#MIT_SHM. + hasShmExtension := self hasExtension:#'MIT-SHM'. hasDPSExtension := self hasExtension:#DPS. hasXVideoExtension := self hasExtension:#XVideo. hasMbufExtension := self hasExtension:#'Multi-Buffering'.