日記

日本語の勉強のためのブログ

Vivaldi

Vivaldiで自動翻訳してくれる拡張機能

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

【Vivaldi】Running mail filters...が左下に表示され続ける際の対処

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

【Vivaldi】ツイキャスでPIP(ピクチャーインピクチャー)する

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

【Vivaldi】閲覧履歴をCSV形式でエクスポートする

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