2 Commits

Author	SHA1	Message	Date
Giacinto Garcea	fc5c2ab4a7	Bookmarks 2.5 ... - Repositioned bookmarks ribbon; - Added a layer for bookmarked portals; - Added a highlighter for bookmarked portals; - Minor fix;	2013-10-17 22:44:53 +02:00
Giacinto Garcea	b0aabd5084	Update Bookmarks to 2.1 version	2013-08-26 02:42:03 +02:00