tree 5d6e4fdd302364b7a6bf18d4a1d82083802a2f13
parent 3c2a423cafb51245ce92f611185ed7c04f9bdf20
author nsandonato <nsandonato> 1223303810 +0000
committer nsandonato <nsandonato> 1223303810 +0000

[249405] Switching the document on an editor does not update LineStyleProviders