[PR]上記の広告は3ヶ月以上新規記事投稿のないブログに表示されています。新しい記事を書く事で広告が消えます。
ただいまコメントを受けつけておりません。
ひよのテキストログエディタ触ってるんだけど、うっかりマージしちゃった時の解除手段ってないんかね
— 天蛍のえる (@Tenkei1) August 26, 2021
こんな話があり、機能追加した。
こういう時は「もとに戻す」を付けて Ctrl+Z をショートカットキーにするのがよいのだろうけど、そういう機能を簡単につけられるようにできていなかった。なので代替案として消したりマージしたりすると消したりマージしたりした発言がゴミ箱に移動するようにした。最悪の場合、ゴミ箱から復旧すれば良いので簡単である(該当箇所)。
こういうのをもっとやりやすい言語で作り始めていればよかったんだが……
ただいまコメントを受けつけておりません。