||
xmind默认是Georgia字体,并且是斜体(italic)!!
我喜欢正体(normal)
参照xmind怎么设置默认字体? 一文,
修改themes.xml文件,(注:上文写成theme.xml是个笔误)
用everything.exe搜索,很快就找到了。
我的7.5_portable是在这个文件夹里面:
xmind-7.5-update1-portableCommonspluginsorg.xmind.ui.resources_3.6.51.201607140259styles
然后怎么办呢?
themes.xml里面大概有33个Georgia字体说明。
我不知道该改哪个。
干脆全部改了。
但这个工作量也不小。
手动用notepad的话,肯定手都酸了。
正解:用notepad++的正则表达式,批处理,即:
搜索:(Georgia)(.+)(italic) |
替换:12(normal) |
说明
1.括号对()里面是一个整体,
2.匹配符.可以匹配任意字符
3.符号+表示至少匹配1次
4.替换中的1表示第1个括号对里的内容,即Georgia
所以,12表示不对italic前面的字符做替换
5.替换中(normal)是对(italic)的替换操作
详细的notepad++正则表达式,可参阅【转载】。
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2025-1-10 11:51
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社