ninja-ide/ninja-ide — Issue #312: Minimap scroll
Author: diegosarmentero
Created: 2012-03-05 11:25:13+00:00
State: open

When the minimap is scrolled and the visible area gets moved, the editor should be scrolled too.