我想做这样一件事：把一篇文章粘贴到 gedit 里，将其中所有半角标点符号替换为全角。用 replace 要做很多遍。

正好看到 gedit 有个 python console，我希望写个脚本来执行这些替换。

问题是，我在 python console 里怎么访问编辑窗口里的文字？

gedit python console 使用参考
https://wiki.gnome.org/Apps/Gedit/PythonPluginHowTo

不过看起来主要作用是控制 gedit 本身，而不是其中的文档
如果想在 gedit 里用脚本操作文档，可用 external tools 插件运行脚本