欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Opera
您可以在Wikipedia上了解到此条目的英文信息 Opera Thanks, Wikipedia. |
Opera:一个极具创新的浏览器
功能
- 视频支持
包含适于高级 Web 标准的增强型支持,例如 HTML5 和 WebM 视频。
- 集成的 Web 搜索
只需输入您的搜索词,即可在地址字段直接搜索 Web。
- 先进的选项卡
使用图形选项卡轻松打开网页,或使用私人选项卡保护您的隐私。
- 快速拨号
只需点击一下,即可立即访问您喜爱的网页。
- Opera Link
在手机和其他电脑上将您的数据备份并同步。
- 插件
借助 Opera Widgets 和 Opera Unite 增强浏览器功能,或选择新的皮肤
- 缩放
使用一流缩放功能以舒适的大小查看网页。
- Opera Turbo
在下载网页之前压缩网页,加快慢速连接上的浏览。
- 鼠标手势
利用鼠标的快速动作,轻松地执行常见的浏览器操作
- 内容阻止
轻松去除烦扰性图像、动画和内容,控制您的网页视图
- 安全可靠
减少上网风险。 行业领先的安全性和功能,例如 Web 威胁保护和安全栏,确保安全。
- 分享地址
Opera 可以提示您分享地址,使得地理地址支持的网站更有帮助。
- 调试工具
Opera Dragonfly 是一项调试工具,使追踪 JavaScript 问题和检查 CSS、DOM 和 HTTP 标头变得轻松
- 邮件客户端
Opera 浏览器提供电子邮件客户端; Opera Mail,专为优化您的日常电子邮件处理需求而设计。 它可以对消息进行组织、编索引和分类,以便您利用更多时间从事实际工作。 最重要的就是,它直接内置于浏览器中。 使用 Opera Mail 时可以同时使用流行的提供商,例如 FastMail.FM、Gmail 和 Yahoo! 电子邮件,或者支持 IMAP 或 POP 的其他服务。
- 下载
一旦保存文件,Opera 就开始下载。 只要按下按钮,即可暂停和恢复下载,并可选择多个文件同时下载。 支持 BitTorrent。
- 多任务、多标签
选项卡(Tab) Opera 中的选项卡功能齐全,您可用来同时浏览多个站点。 您可拖动选项卡按照您偏爱的顺序分类,或从浏览器窗口中拉出一个选项卡,使之成为独立窗口。
链接
<discussion>characters_max=300</discussion>