tree d40d4d5aeae27304132cebcb1e516e26ba406599
parent 325055bd7adcd035a433390705a4ad6340e90410
author nsandonato <nsandonato> 1299699981 +0000
committer nsandonato <nsandonato> 1299699981 +0000

[247684] [editor] Double-clicking on ruler in source page does not create bookmark