python/tkinter: 可以复制粘贴文本和标签吗？

Question

在我的文本小部件中，有很多标签用来控制文本的外观，比如加粗、斜体等等。

Tkinter 默认会处理文本小部件中的剪切、复制和粘贴操作，但它只处理文本内容，而不包括那些相关的标签。你知道有没有办法实现这个功能吗？

我担心如果我在一段加粗文本的中间剪切，可能会出现一些问题：我需要留下一个标记，表示“加粗开始”，这样剩下的文本才能继续保持加粗效果……

Answer 1

是的，这个功能是可以实现的。你可以使用文本小部件的 dump 方法来获取指定范围内的所有文本和标签。要粘贴时，只需要在插入文本的时候用到这些信息就可以了。

不过，当你尝试在已经加粗的文本中粘贴，比如说斜体文本时，就会有点复杂，因为你可能需要重新给插入的文本加标签，以便它同时具有加粗和斜体的效果。不过我知道这是可以做到的，因为我以前在使用tcl/tk的时候就实现过。