web-dev-qa-db-ja.com

Firefox 52でメニュー、タブ、その他のユーザーインターフェイス要素のフォントサイズを増やすにはどうすればよいですか？

私はLinuxを実行しています。FirefoxQuantumで機能しない特定のアクセシビリティ/ユーザビリティ拡張機能に依存しているため、Firefox Extended Supportリリース52.6.0を使用しています。

少し高い解像度の小さなラップトップ画面を使用しているため、デフォルトのFirefox UIフォントが読みにくくなっています。

ほとんどのアプリケーションのUIフォントサイズを~/.Xdefaults設定で変更できることがわかりました。

Xft.dpi: 192

これはGeditやi3などで機能しますが、何らかの理由でFirefoxは無視します。

Support.mozilla.orgで見つかった別の回避策を試し、about：configでlayout.css.devPixelsPerPxを1.25に変更しました。私のバージョンのFirefoxでは、これによりUIテキストフォント以外のほとんどすべてのサイズが変更されます。

Support.mozilla.orgからのもう1つの提案は、「テーマとフォントサイズチェンジャー」と呼ばれる拡張機能を使用することです。ただし、Firefox Quantumのリリース以降、この拡張機能はフォントサイズの変更をサポートしないように変更されているようです（色の変更しかできません！）。

画面の解像度をxrandrで半分（640x400まで）にしてみましたが、たとえば、印刷ダイアログなどのさまざまなダイアログボックスが画面に収まらないなど、多くの問題が発生します。

より良い解決策はありますか？

firefoxfontsfirefox-extensions
6
Metamorphic

LinuxでUIフォントサイズをlayout.css.devPixelsPerPxで制御できるようにする提案は rejected でした。

同じBugzillaページでは、GDK_DPI_SCALEおよびGDK_SCALE環境変数を使用してUIフォントサイズを制御することを推奨しています。

たとえば、ランチャーショートカットを介してFirefoxを起動している場合、そのコマンドをfirefox %uからenv GDK_DPI_SCALE=1.25 firefox %uに変更できます。

4
user

この問題を解決しようとしているときにuserChrome.cssについて学びました。これは、ユーザーが カスケードスタイルシート 言語を使用してFirefox UIのプロパティを変更できるようにする設定ファイルです。 Firefox 52で動作します。

このファイルはデフォルトでは存在しません。私はそれを作成し、次のテキストを追加しました：

$ cat ~/.mozilla/firefox/*.Default\ User/chrome/userChrome.css        
@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");

* {
font-size: 16pt !important
}

@namespace行の後のセミコロンを忘れないでください。

驚くべきことに、このファイルに入れることができるウェブサイト userchrome.org 全体があります。ただし、上記の簡単なスニペットで十分でした。私はuserchrome.orgからではなく、 mozillazine.orgの投稿から取得しました 。私のシステムでは、font-sizeトリックは同じuserChrome-example.cssディレクトリのファイルchrome/にもあります。

これで、画面をフル解像度で使用して、メニューバーのテキストやタブ名などを読むことができます。

4
Metamorphic

ファイル：fix-firefox-urlfont.sh

#!/bin/bash
if [ "$1" == "" ] || [ ! -d "$1" ] ; then
    echo "fix-firefox-font.sh <profileDir> [<fontSize>]"
    echo "Default font-size is 16pt"
    exit
fi

# Variables
PROFILE="$1"
FONT="16pt"
CHROME="chrome"
CSS="userChrome.css"
STYLE="toolkit.legacyUserProfileCustomizations.stylesheets"
PREFS="prefs.js"

# Font added
if [ "$2" != "" ] ; then
    FONT="$2"
fi

# Begin
pushd "$1"

# Remove the old setting
if [ `grep "$STYLE" "$PREFS" 2>/dev/null | wc -l 2>/dev/null` -ne 0 ] ; then 
    sed -i "/^.*$STYLE.*$/d" "$PREFS"
fi

# Add the new setting
cat << EOF >> "$PREFS"
user_pref("$STYLE", true);
EOF

# Create the directory
if [ ! -d "$CHROME" ] ; then 
    mkdir $CHROME
fi

# Add the custom CSS
cat << EOF > $CHROME/$CSS
@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");

* {
    font-size: $FONT !important
}
EOF

# Done
popd
0
A Concerned Linux Denizen