给编辑器补拖拽:标签挪过去,状态也得跟过去 分栏能用了以后,紧接着就想用鼠标摆一摆:这个文件放右边,那个标签提前一点,文档那一列再宽一点。 这些需求很自然,做的时候却不能只盯着拖动动画。标签换了位置,