Source Editor - colored bookmarks
lazarus / 6-IDE-CodeTools

----------------------------------------------------------------------
Paul_ · 2016-10-17 14:08

For people who have a lot of bookmarks it would be great.