scrollToPosition and scrollToRow do not seem to work

[tlaukkan]

Configured poms to AceEditor 0.8.7 and Vaadin 7.1.6. Updated, cleaned and compiled widgetsets. Cleaned browser history and restarted web container. Invoking the following does not seem to have any effect on scrolling:

editor.setValue(builder.toString());
editor.scrollToPosition(lastCursor);

Same with editor.scrollToRow(). Have I forgotten something or maybe a bug?

[ahn]

Looks like a bug.

I guess the bug occurs when you set the text value and scroll position on the same server visit, as in your example. In that case the client-side editor first scrolls to the position (or may do nothing if the text was empty before), and after that sets the text.

I'll take a look at it at some point.

[tlaukkan]

I could get the scroll to work with previous version if I had earlier loaded text. The setting text + scrolling does not work with 0.8.8 either for some reason.

[tlaukkan]

This is the project I used Ace Editor for. Made the hole thing possible really: https://vaadin.com/directory#addon/groom-code-review-site

[ahn]

Groom looks sweet. I'll take a closer look at it at some point. :)