feat: 使标签文本可编辑

当 Cursor 移动到文本上时,会出现一个文本选择 Cursor(这是默认浏览器行为,以便可以选择文本)。如果除了选择/复制之外,还能点击并编辑标签文本,那就太好了。很明显,这些编辑会传播到 `Substance` 程序中:只需修改标签字符串即可。不那么明确(一如往常)的是,这些编辑会如何影响优化器状态。例如,UI 是否应该等待编辑完成(例如等待 `return` 键)然后再重新优化? 使用当前状态作为"锚点",找到能够反映文本新大小的最小调整? 等等。