mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
Scrolling is not performed via mouse wheel. Moreover, instead of full reset of HTML on each change in Markdown document, now plugin will use Increment DOM to incrementally update preview. New approach to preview generation solves problem of blinking scrolling/images and in general is more efficient. The whole implementation is done by Ivan.Posti, Grazie intern. GitOrigin-RevId: 610a8b5125f9b6d67308dbb82fbc2a7b5e26e9b3