Allan Odgaard 6a61853183 Setting a document’s selection now resets its “visible index” ...

When a document has a visible index then we scroll to this index, on bringing the document to front. This is not desired when we set the selection, since we basically do that to “scroll to this location”.

2016-10-07 10:02:58 +02:00

..

src

Setting a document’s selection now resets its “visible index”

2016-10-07 10:02:58 +02:00

tests

Change document’s isOpen property to isLoaded

2016-09-18 10:29:21 +02:00

target

Remove document::show API

2016-09-24 09:37:30 +02:00