Opera developer – aktualizacja do 41.0.2315.0
Mimo trwającego w pełni sezonu wakacyjnego dorzucamy nowe zmiany do personalizowanych nowości:
* dodawanie źródła nawet bez znajmości dokładnego odnośnika RSS. Wystarczy podać adres strony i jeśli RSS jest na stronie, wówczas pojawia się opcja dodania go. Dla przykładu http://enduro-mtb.com/en/ Zauważ, że należy podawać pełną formę odnośnika z “http://”.
* ulepszona odpowiedź przeglądarki po dodaniu własnych źródeł,
* dodano niewielką animację, czy możesz ją znaleźć?
* możliwość podglądu źródła przed jego dodaniem,
* poprawne sortowanie i grupowanie elementów w sekcji “Moje źródła”,
* usunięto plakietkę “CUSTOM SOURCE” z listy ręcznie dodawanych RSS-ów. Była zbyt rzucająca się w oczy odwracając uwagę od tytułu,
* pokazywanie mniejszej liczby rekomendacji.
Znane problemy:
* przycisk Podglądu powoduje problemy z nawigacją pomiędzy źródłami, jednak ponowne załadowanie pomaga.
Wypróbuj i daj nam proszę znać jakie są Twoje odczucia.
Aby zapoznać się ze wszystkimi zmianami, zajrzyjcie proszę do listy zmian.
Odnośniki instalacyjne:
- Opera developer na system Windows
- Opera developer na system OS-X
- Opera developer na system 32-bit Linux – plik deb
- Opera developer na system 64-bit Linux – plik deb
- Opera developer na system 32-bit Linux – plik RPM
- Opera developer na system 64-bit Linux – plik RPM