commit | 15249c767bb156642093a3bea83dc89eebcc62ed | [log] [tgz] |
---|---|---|
author | nsandonato <nsandonato> | Mon Oct 06 20:04:00 2008 +0000 |
committer | nsandonato <nsandonato> | Mon Oct 06 20:04:00 2008 +0000 |
tree | d6c656631071bdb7766f6cb1780846a6a0633fa6 | |
parent | 0ab7e77cb10877f7aa9109713d960628483862ce [diff] |
[249405] Switching the document on an editor does not update LineStyleProviders