ninja-ide/ninja-ide — pull request #1316 by pepeleproso (2013-07-14 03:01:10+00:00)
Title: Add a Bookmark List to easily find bookmarks in current proyect

I would appreciate if someone can make a review on this.