Интернет магазин китайских планшетных компьютеров



Компьютеры - Возможности браузера Opera - Надстройки

28 апреля 2011


Оглавление:
1. Возможности браузера Opera
2. Интерфейс
3. Управление
4. Инструменты
5. Работа с текстом
6. Внешние URI страницы
7. Надстройки
8. Производительность
9. Недостатки



Плагины

Внедрено: Opera 3.0

Плагины — это внешние приложения, которые Opera может использовать для отображения рисунков и видео-клипов, файлов презентаций, или проигрывать звуки, которыми браузер не может самостоятельно управлять. Некоторые из наиболее популярных плагинов это Adobe Flash, Apple QuickTime, и Adobe Acrobat.

Плагины по существу являются отдельными приложениями. Поэтому, различные настройки параметров безопасности Opera не будут иметь эффекта при работе плагина.

Список установленных плагинов выводится на встроенной странице информации о них; в Opera для Linux есть и отдельное окно настройки для установки и определения местоположения плагинов.

User JavaScript

Внедрено: Opera 8.0

В браузере предусмотрена возможность создания пользователем собственных Java-скриптов. Для этой цели используется специальная редакция скриптового языка JavaScript: User JavaScript. Использование таких скриптов ещё более повышает функциональность браузера. На неофициальном сайте UserJS.org доступны для скачивания большое количество Java-скриптов для Opera. Аналогичный ресурс Userscripts.org содержит базу скриптов для Firefox Greasemonkey, но многие из представленных на нём скриптов можно использовать и в Opera.

Opera Widgets

Значок виджетов

Внедрено: Opera 9.0

Opera Widgets — бесплатные графические модули, основанные на HTML, CSS, JavaScript, SVG и AJAX. и работающие вне окна браузера Opera и позволяющие получить доступ к определённому сервису или функции. Первое появление датировано 20 июня 2006 года как часть Opera 9. Начиная с версии Opera 10.2, виджеты стало возможно запускать как обычные приложения, например, из меню Пуск или с рабочего стола, без запуска самого браузера. Существует программа для Symbian OS под названием Opera Widgets Manager которая дает возможность использовать все виджеты от Opera на телефоне

Opera Extensions

Значок расширений

Внедрено: Opera 11.0

Opera Extensions — бесплатные мини-программы, написанные на HTML, CSS, JavaScript, SVG и AJAX по спецификации W3C Widgets и расширяющие возможности или улучшающие определённые аспекты браузера. Расширения могут работать в фоновом режиме и/или выводить свою кнопку правее панели поиска.



Просмотров: 11937


<<< Presto (Opera)
Direct Rendering Infrastructure >>>