お気に入りバーのアイコンの変更

急にOperaブラウザでの「お気に入りバーのアイコン」の変更が出来なくなった。

そこで、「Chromeウェブストア-拡張機能」で「Favicon Changer」を使うことにした。

ちなみに、Chrome、Brave、Edgeでは今まで通り「Bookmark Favicon Changer」でOKだ。



参考URL　：　https://www.youtube.com/watch?v=I2wGQYyTa4Y

画面録画

このまま動画を録画していたら、後2年位でディスクが一杯になってしまいそうだ。

YouTubeのダウンロードはともかく、画面を録画したものは容量が大きい。

　　　　　　　　

そこで、録画ファイル(幅1360×高768)を数分の１に変更してみた。

解像度が悪くなるのを心配していたがそれ程でなく、お陰で空き容量が随分増えた。