Python 字符串前面补零 HenryZ 发布于 2016-10-19用数字字符作为编号时，有时需要在数字前面补零以统一编号的字符个数。例如1、10、100，补零统一字符个数后是001、010、100。 用字符串
谷歌拼音输入法扩展-快速输入特殊符号 HenryZ 发布于 2013-06-06 收录于 系列 打字更快环境：Windows 系统 这是一个谷歌拼音输入法扩展(Google Pinyin IME Extension)，各种符号的合集。分享给使用谷歌拼音输入法的我们，让