欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Opera/11
Opera 11 支持扩展。Opera的扩展功能类似于其它浏览器的扩展机制,而且其它浏览器的扩展可以很容易的移植到Opera。不同于独立的 Opera Widget 或 Opera Unite 应用,Opera Extensions 更强调开放标准,它可以让用户更容易的添加新功能,开发者也能够像写网页一样使用 Opera API 和开放网络标准 (HTML5, CSS, JavaScript) 轻松开发 Opera 扩展。
Opera extensions 使用 W3C Widgets 打包和配置标准。
创建你的第一个Opera Extension
主要功能
- 标签组
拖动一个标签到另一标签上即可创建一个标签组。现在您可以同时打开数十个标签,且更易于组织和管理。
- 安全地址栏
改进的地址栏现在可隐藏冗长复杂的网页地址。它还提供了更多安全信息来帮助您在浏览时保持安全。单击安全标识即可查看当前站点的安全信息。
- 可视化鼠标手势
通过移动鼠标来执行常见的动作。现在在页面上按住鼠标右键将会显示可视化鼠标手势向导来指示如何执行鼠标手势。
- 扩展
通过访问 Opera 扩展列表可以非常简单的扩展 Opera 的功能。一些扩展会创建可点击的按钮或菜单,而其他扩展则只会在后台运行。
- 邮件面板
当您使用 Opera 内置的邮件客户端时,您可以拖放邮件账户和邮件条目到任意位置。邮件面板亦会在您没有查看邮件标签时自动隐藏。
- Opera Turbo
在慢速网络中加速您的浏览。
- 快速拨号
您最爱网站的快速入口,您还可以选择快速拨号的样式及背景。
- Opera Link
在不同的电脑及手机之间同步您的快速拨号、书签、笔记及其他私人数据。
- 密码管理器
Opera 可以自动登陆到网站。首先您必须登陆,并使用密码管理器记住密码;在下一次登陆时,您只需单击工具栏上的钥匙按钮或者按 Ctrl+Enter 键来快速登陆。
- Opera Unite
Opera Unite 是一个技术平台,它允许您同您的好友直接分享内容,而不用通过第三方网站中转。通过 Opera Unite 应用,您可以共享音乐,分享图片,文件,甚至您还可以从浏览器中直接访问您的网页。
- 缩放
放大页面以方便查看较小的文本,或者缩小页面来查看整个页面。Opera 缩放功能是调整页面中所有元素的大小,而不仅仅是文本。您还可以禁用图片来增加可读性和加快页面加载速度。
截图
下载
<discussion>characters_max=300</discussion>