Vivaldiは素晴らしいブラウザだが，自動翻訳機能がない．また付属の翻訳機能も精度が低いと感じる． Chromeには自動翻訳機能があることを踏まえると，これは唯一の欠点であるといえるだろう（過言？）． そこで自動翻訳機能をもつ拡張機能を探してみた． 調…

Vivaldiブラウザを使用中に発生した問題について書く。 1. 環境 Windows 10 Home バージョン: 21H2 Vivaldi バージョン: 5.1.2567.66 (Stable channel) (64-bit) 付属のフィード、カレンダー機能を使用している 2. 問題の内容 ブラウザ左下(図1参照。普段リ…

アイカツ!の一挙放送を見ながらAtCoder(ABC222)をする必要が生じたため。 記事の要約 このブックマークレットを実行するとPIPできるようになる(ブックマークレットの実行についてはこちらなどを参照)。 javascript:(function(){document.getElementsByClassN…

履歴ページを開いた際の動作の重さが気になったので、エクスポート＆削除することにした。 環境 Windows 10 Home Ver.21H1 Vivaldi 4.0.2312.33 (Stable channel) (64-bit) 方法 この記事を参照。 qiita.com この記事ではChromeでの方法について書かれている…