【2022/05/15 追記】削除機能追加版を作りました。
最近すっかり、自作 Popclip extensions の公開ばかりして、全然ガジェットを語れていませんが、今回も popclip関係です。
先日公開した、なろう向けの傍点追加extensionですが、その後色々調べていると某Wikipediaに圏点という項目を見つけました。そちらには”・”以外の傍点がいくつか書かれており「これが自由に選べると便利なんじゃね?」と思い、popclipの設定変更でナントカならないか、試して作ってみたのがこれです。
Wikipediaで紹介されていた、•,◦,﹅,﹆,●,○,▲,△,◎,◉ あたりを選択できるようにしてみました。
popclipへ登録する時に、どの傍点を使うか選択できます。
![](https://i0.wp.com/gdgt.jp/wp-content/uploads/2019/01/94c7004a0fac9105120f8a66452ca423.png?resize=161%2C125&ssl=1)
![](https://i0.wp.com/gdgt.jp/wp-content/uploads/2019/01/2900bb6c8691e8fcf7364ca239dc4f12.png?resize=147%2C168&ssl=1)
また、一度設定しても popclipの設定変更(ペンのアイコンを押す)で、Sidedots横の歯車アイコンをクリックすると、再設定できます。
![](https://i0.wp.com/gdgt.jp/wp-content/uploads/2019/01/4054976269838c16c5773d054cffe11a.png?resize=160%2C519&ssl=1)
![](https://i0.wp.com/gdgt.jp/wp-content/uploads/2019/01/7e53e6535ef03a1955dd09e09e24a954.png?resize=160%2C519&ssl=1)
[OK]を押して設定を変更すれば、次からは設定しなおした傍点を打てるようになります。
以下は、”黒丸 :●”を設定した時の例です。
![](https://i0.wp.com/gdgt.jp/wp-content/uploads/2019/01/8d677ef654315034d1f2aaca9cd73074.png?resize=369%2C66&ssl=1)
⇩
![](https://i0.wp.com/gdgt.jp/wp-content/uploads/2019/01/7a812dadfc850d8c005105459ba6a889.png?resize=192%2C54&ssl=1)
需要があるのか無いのかわからない、自己満足的なツールですが、いろんな事ができるとわかって、結構楽しい感じです。