インデントを削除するUserscript
from 2023/08/05
インデントを削除するやつ
code: script.js
scrapbox.PopupMenu.addButton({
title: 'インデント削除',
onClick: text => {
text = text.split(/\n/).map(line => line.normalize().replace(/\s{4}/g,' ')).join('\n');
return text;
}
})
String.prototype.normalize()なんてあったんだtakker.icon
どこかで拾ってきたやつcFQ2f7LRuLYP.icon
場所を書くのを忘れてしまった
rashitaさんのとこかねtakker.icon
かもしれないcFQ2f7LRuLYP.icon
これかtakker.icon
Unicode正規化形式にするやつ
えっ便利じゃん
てことはバリエーションセレクターが混入した文字列も、これを通せば等値比較できるってことでは！！！