commit | 6ad331cf84d026328754eb13b15f3ba2e362bab1 | [log] [tgz] |
---|---|---|
author | nsandonato <nsandonato> | Mon Oct 06 14:36:50 2008 +0000 |
committer | nsandonato <nsandonato> | Mon Oct 06 14:36:50 2008 +0000 |
tree | 5d6e4fdd302364b7a6bf18d4a1d82083802a2f13 | |
parent | 3c2a423cafb51245ce92f611185ed7c04f9bdf20 [diff] |
[249405] Switching the document on an editor does not update LineStyleProviders