Skip to main content

Search: #Firefox

  1. 23 岁博士生如何帮助 Firefox 修复 22 年历史的 bug

    2023-10-11 14:34 by 再会,谢谢所有的鱼

    Firefox 最近修复了一个有 22 年历史的工具栏鼠标提示(tooltip)bug,而帮助修复该 bug 的是斯坦福大学的一年级电机工程博士生 Yifan Zhu,这也是他第一次向开源项目贡献补丁。Zhu 出生于 1999 年,也就是该 bug 首次报告三年之前。他是在 Linux 上使用邮件客户端 Thunderbird 时首次遭遇该 bug,认为这个 bug 太恼人了。他试着报告该 bug,结果发现它已经存在了 22 年之久,至今还没有修复,可能是因为它是一个小问题也不会导致崩溃处理的优先度不高。于是他决定自己来修复。他知道如何编程,也正好处于博士生开始前的暑假,但此前从未向开源项目贡献代码,也从未在 Firefox 之类的复杂项目上工作过。他表示自己只是在整个代码库里搜索 tooltip,检查候选内容,插入调试打印语句跟踪执行。他最后找到了答案。当鼠标悬浮在某个元素上时,一个计时器会启动去显示 tooltip,在鼠标移出事件后计时器将会取消。但使用快捷键切换窗口或虚拟桌面时,Firefox 没有取消计时器。Zhu 递交了补丁,让 tooltip 显示基于 Firefox 失去焦点而不是鼠标离开应用。Mozilla 的资深软件工程师 Emilio Cobos Álvarez 帮助完善了补丁,他表示 Zhu 的第一个 Firefox 补丁令人印象深刻。

    https://arstechnica.com/gadgets/2023/10/22-year-old-firefox-tooltip-bug-fixed-in-a-few-lines-offering-hope-to-us-all/
    https://fanzhuyifan.github.io/

    #Firefox
  2. Firefox 支持从 Chrome 导入扩展

    2023-08-25 16:56 by 黑暗之潮

    Firefox 已经实现了 WebExtensions 扩展系统,它现在允许 Firefox 用户从 Chrome 等浏览器导入部分扩展。该功能还在测试中,没有默认启用。用户需要修改 about:config,修改 browser.migrate.chrome.extensions.enabled 的值为 True 后就可以启用该功能。用户可以从菜单 > 设置 > 导入数据中选择 Chrome 导入扩展。Firefox 实现的 WebExtensions 与 Chrome 不完全兼容,目前仅限于 部分扩展。

    https://www.ghacks.net/2023/08/23/firefox-users-may-import-chrome-extensions-now/

    #Firefox