（解決）Vivaldiでbookmarkletを使う方法

ブラウザをChromeからVivaldiに乗り換えたでも書いたようにGoogle ChromeからVivaldiにブラウザを乗り換えた。
なかなか使い勝手がよくChromeのブックマークをインポートし暫く使っていたのだが「あれ？」と戸惑うことがあった。
それは、ブックマークレットが使えないことだった。
正直これは結構悲しかった。いろいろ調べてみたが解決策はなかった。

しかし、今日やっと解決策を見つけた。その方法は

Vivaldiをバージョンアップする

ことだった。
バージョンアップといっても2月17日現在のLATEST BETAのversion.1.0.344.37ではなく、LATEST SNAPSHOTの version.1.0.390.3に上げるのだ。

以下のリンクから辿れば1.0.390.3をダウンロードできるだろう。
Vivaldi Web Browser Community - Snapshot 1.0.390.3 - Crunch time in Iceland, death toll on bugs increases

これでブックマークレットが無事に使えるようになった。

みなさんもお試しあれ。