| commit | 33ed0951da285921dfea6d49dcf231869b6a8e54 | [log] [tgz] |
|---|---|---|
| author | Dani Megert <dmegert> | Mon Apr 16 08:59:56 2007 +0000 |
| committer | Dani Megert <dmegert> | Mon Apr 16 08:59:56 2007 +0000 |
| tree | 19af48c1ca8af66bc0fd0ec77e5707a5c25ea117 | |
| parent | 33751e9c425d87beaf52d7b21271f55fd42aff74 [diff] |
Fixed bug 182358: [implementation] EditorsPlugin disposes of SharedTextColors too late