Wat is Doctor Jones?

Doctor Jones is een Chrome-extensie ontwikkeld door leopoldthecuber, en de belangrijkste functie is "中文排版格式化工具".

Extensie Screenshots

Download het CRX-bestand van de extensie Doctor Jones

Download Doctor Jones-extensiebestanden in crx-indeling, installeer Chrome-extensies handmatig in de browser of deel de crx-bestanden met vrienden om Chrome-extensies eenvoudig te installeren.

Instructies voor het Gebruik van de Extensie

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

Basisinformatie over de Extensie

Naam	Doctor Jones
ID	lggmpimhpmplkengmfmfecohbdbooiem
Officiële URL	https://chromewebstore.google.com/detail/doctor-jones/lggmpimhpmplkengmfmfecohbdbooiem
Beschrijving	中文排版格式化工具
Bestandsgrootte	1.33 MB
Aantal Installaties	739
Huidige Versie	1.2.1
Laatst Bijgewerkt	2020-01-26
Publicatiedatum	2020-01-26
Beoordeling	5.00/5 Totaal 4 Beoordelingen
Ontwikkelaar	leopoldthecuber
Betalingswijze	free
Extensiewebsite	https://leopoldthecoder.github.io/doctor-jones/
Ondersteunde Talen	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" }