commit | 0092e4590bd573d39eee71ab1b7b2d8b633416c8 | [log] [tgz] |
---|---|---|
author | nsandonato <nsandonato> | Wed Mar 09 19:46:21 2011 +0000 |
committer | nsandonato <nsandonato> | Wed Mar 09 19:46:21 2011 +0000 |
tree | d40d4d5aeae27304132cebcb1e516e26ba406599 | |
parent | 325055bd7adcd035a433390705a4ad6340e90410 [diff] |
[247684] [editor] Double-clicking on ruler in source page does not create bookmark