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

15 KiB

Raw Blame History

View Raw