Lazarus

Miscellaneous => Suggestions => IDE/CodeTools => Topic started by: Paul_ on October 17, 2016, 04:08:27 pm

Title: Source Editor - colored bookmarks
Post by: Paul_ on October 17, 2016, 04:08:27 pm
For people who have a lot of bookmarks it would be great.