Martian

Results 3 comments of Martian

说到这,不如 `"source_lang"`, `"target_lang"` 一起加上好了。 前者默认 `"auto"`或`"en"`(如无`"auto"`),后者默认 `"zh"`? 以满足更多翻译语言需求。

Preferably, a per-site preference of toc auto-generation, so that the user could toggle it on/off by, e.g., first, click the gear button on the top right of the toc panel,...