ninja-ide/ninja-ide — pull request #584 by diegosarmentero (2012-06-13 18:45:36+00:00)
Title: Fixing bug: open with the cursor in the remembered position.

Fixing bug: open with the cursor in the remembered position.