Hi all, I added global (multi-file) bookmarks again to the KDevelop_1_4 branch. There are some bugs though, but they should crash the app. Bye, Christian. - to unsubscribe from this list send an email to kdevelop-devel-request at kdevelop.org with the following body: unsubscribe »your-email-address«