2011-10-12から1日間の記事一覧
「システム設定」の「文字サイズ」から変更可能。その名の通り、基本的にテキストの大きさだけが変わる。ラジオボタンやチェックボックスの大きさなどは変わらない。 具体的な値の取得/設定はgsettingsコマンドで取得できる。gsettings get org.gnome.deskto…
「システム設定」の「文字サイズ」から変更可能。その名の通り、基本的にテキストの大きさだけが変わる。ラジオボタンやチェックボックスの大きさなどは変わらない。 具体的な値の取得/設定はgsettingsコマンドで取得できる。gsettings get org.gnome.deskto…