Ubuntu でトップバーの字が突然大きくなったときの対処法

こんな感じの現象で,こんな感じに直せる.

4K モニタの左上のキャプチャです

対処法

この記事を見てる人は対処法を求めてるでしょうから,まずそれを.ちなみに僕の環境は Ubuntu 20.04 です.

  1. Gnome Tweaks をインストール ( $ sudo apt install gnome-tweaks )
  2. フォント タブの 倍率1.00 にする
  3. もし始めから 1.00 だったら一度 1.01 にして (つまり + ボタンを押して) ,また 1.00 に戻す (- ボタンを押す)

僕はこれで直りました (特に3番) .最初から 1.00 だけど,内部的には 2.44 になってたんじゃないかと思う.

倍率 2.44 って?

Ubuntu日本語フォーラム / メニューバーなどのフォントサイズが大きくなってしまいました という記事を見ると同じ症状の人がいるっぽい.しかも見つかるのはこの記事だけじゃなくて複数見つかるから何らかの (Gnome の?) バグなんでしょう.

面白いのは Gnome Tweaks でフォント倍率を一度 1.00 かららしてからまた 1.00 に戻すと直るということ.何かそういう変な癖のある道具ってときどきあるよね.

オマケ

Audacity

この画像はおまけ.完全に文脈と関係ないです… Audacity のダークテーマを最近試してみたんだけど,意外と,というかかなりカッコイイ.使ってて楽しくなる良いテーマですね!

コメントを残す

Powered by WordPress.com. テーマ: Baskerville 2 by Anders Noren

ページ先頭へ ↑

%d人のブロガーが「いいね」をつけました。