1 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