What is Doctor Jones?

Doctor Jones is a Chrome extension developed by leopoldthecuber, and its main feature is "中文排版格式化工具".

Extension Screenshots

Download Doctor Jones Extension CRX File

Download Doctor Jones extension files in crx format, manually install Chrome extensions in the browser, or share the crx files with friends to easily install Chrome extensions.

Extension Usage Instructions

doctor-jones is a toolbox designed for formatting Chinese texts, especially when mixed with Western texts, based on w3c/clreq and other best practices.

Here "formatting" means:

- Adding a halfwidth space between a Chinese character and an alphabet/number
- Removing unnecessary halfwidth space between a fullwidth punctuation and an alphabet/number
- Removing successive exclamation marks
- Normalizing ellipses to ……
- Replacing quotation marks “” ‘’ with「」『』
- Replacing fullwidth brackets around numbers with halfwidth ones

Extension Basic Information

Name	Doctor Jones
ID	lggmpimhpmplkengmfmfecohbdbooiem
Official URL	https://chromewebstore.google.com/detail/doctor-jones/lggmpimhpmplkengmfmfecohbdbooiem
Description	中文排版格式化工具
File Size	1.33 MB
Installation Count	739
Current Version	1.2.1
Last Updated	2020-01-26
Publish Date	2020-01-26
Rating	5.00/5 Total 4 Ratings
Developer	leopoldthecuber
Payment Type	free
Extension Website	https://leopoldthecoder.github.io/doctor-jones/
Supported Languages	en,zh-CN
manifest.json
{ "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx", "manifest_version": 2, "name": "__MSG_extName__", "homepage_url": "https:\/\/leopoldthecoder.github.io\/doctor-jones\/", "description": "\u4e2d\u6587\u6392\u7248\u683c\u5f0f\u5316\u5de5\u5177", "default_locale": "zh_CN", "icons": { "16": "icons\/16.png", "48": "icons\/48.png", "128": "icons\/128.png" }, "permissions": [ "activeTab", "storage" ], "content_scripts": [ { "matches": [ "" ], "js": [ "content.js" ] } ], "browser_action": { "default_popup": "popup\/popup.html", "default_title": "__MSG_extName__", "default_icon": { "16": "icons\/16.png", "32": "icons\/32.png", "48": "icons\/48.png", "128": "icons\/128.png", "724": "icons\/724.png" } }, "version": "1.2.1" }