tree 19af48c1ca8af66bc0fd0ec77e5707a5c25ea117
parent 33751e9c425d87beaf52d7b21271f55fd42aff74
author Dani Megert <dmegert> 1176713996 +0000
committer Dani Megert <dmegert> 1176713996 +0000

Fixed bug 182358: [implementation] EditorsPlugin disposes of SharedTextColors too late