2022-12-30(金) 曇りのち晴れ
_ やけに早起き
休みだと言うのに5時半頃に目が覚めてもう眠れなくなった。仕方がないから起き出したけど、早起きしすぎても時間の無駄だなあ。
_ Orchis-themeとDash to Panelの相性
GNOME ShellのテーマとしてOrchis-themeが気に入っているのだが、GNOME Shell Extensionの"Dash to Panel"と一緒に使うとアクティブなウィンドウを指し示すアンダーバーが見えなくなってしまう。アイコンの位置が低すぎるようだ。Orchis-themeのサイトに"Fix for Dash to panel"というのがあったので、一度Debianのパッケージをアンインストールして、githubのソースコードからローカルにインストールして、例のワークアラウンドを試してみた。これが正解だった。
[追記]"Fix for libadwaita (Gnome-shell >= 42.0)"にかかれていることを実行すると、ダークモードのテーマを設定しても、GTK4のアプリケーションのウィンドウがライトモードになってしまうようだ。これはやっちゃダメだな。
[追追記]Dash to PanelのIssueに the indicator of running applications is not visible #1516ってのがあった。結局、Orchis-themのWorkaroundを実行しろってことだった…
_ 大掃除終了
洗面台とトイレの1年分の汚れを落として、大掃除終了。もう少しきれいにしたいところだが、このくらいで満足しておこう。
Copyright (C) 2005-2012 by Hidenosuke. All rights reserved.
mailto: hidenosuke_at_hidenosuke_dot_org or hideo.oshima_at_gmail_dot_com