ninja-ide/ninja-ide — pull request #1315 by pepeleproso (2013-07-14 02:32:02+00:00)
Title: Fix bad folding on docstring end

When you click to set a new bookmark on a line whitch is a docstring end, ninja fold the code instead of add a new bookmark.
This patch fixes that.