>>791
すまん、仕事で優先度の高いintがかかった。
エディタの方にはまだ当分iretできそうにない。

>>798
GJ. (2)はTipsにまわした方がいいかもしんない。