2022-10-29(土) 晴れ
_ 少し寝坊
今朝は6時半に起きた。昨晩は金曜日の夜ということで夜ふかししちゃったので、まあ、こんなもんだろう。
_ Quick Settings Tweaker
ついに探していたものが見つかった。GNOME 43でVolume Mixerが動作しなくなって困っていたが、それに変わるものであり、更にメディア・コントロールの機能までついている。最高だ。作者さん、ありがとう。
[ツッコミを入れる]
Copyright (C) 2005-2012 by Hidenosuke. All rights reserved.
mailto: hidenosuke_at_hidenosuke_dot_org or hideo.oshima_at_gmail_dot_com