Q100620: Windows 10 の 4k / 高 DPI モニターでは Mari の UI が小さすぎるように見えます

症状

4k / 高 DPI モニターでMariを使用する場合、UI スケーリングが Windows 10 のディスプレイ設定で設定されたスケーリングに準拠しない場合があります。

Mariの UI は、4k / 高 DPI モニターでは小さすぎて満足に使用できない場合があります。

画像 1: デフォルトで 4K モニターに表示されるMari 4.7v2。

原因

Mari現在、4k / 高 DPI モニターのネイティブ スケーリングをサポートしていません。

ネイティブ 4k / 高 DPI スケーリングのサポートのリクエストが記録され、 Mari製品チームと検討中です。

解決

4k / 高 DPI モニターでMari UI を読みやすくするには、Windows 10 のディスプレイ設定を変更してから、OS のディスプレイ設定に準拠するようにMariアプリケーションを設定する必要があります。

注: Mari Windows 10 自体ではなく Windows 10 によってスケーリングされるため、 Mari UI はわずかにぼやけて見える場合があります。

方法

まず、Windows 10 のディスプレイ設定を正しく設定する必要があります。

1. Windowsの設定メニューを開き、「システム」アイコンをクリックします。

2. ディスプレイ設定で、4k モニターを選択します。

3. 「スケールとレイアウト」の見出しで、拡大サイズを 200% に設定します。これにより、Windows 10 UI が 4K / 高 DPI モニターに合わせて調整されます。

画像2: Windows 10の表示設定画面 - 縮尺とレイアウトを200%に設定 

ここで、Windows 10 のディスプレイ スケーリング設定に準拠するようにMariアプリケーションを設定する必要があります。

1. Mariショートカットを右クリックし、「プロパティ」を選択します。
   
2. 「互換性」タブに切り替えて、「高 DPI 設定の変更」ボタンをクリックします。
   
3. [高 DPI スケーリング オーバーライド] の下のボックスにチェックを入れ、オプションを[アプリケーション]から[システム]に変更します。これにより、 Mari Windows 10 のディスプレイ スケーリング設定を使用するようになります。
   
4. [OK]を選択して変更を確認します。 Mariアプリケーションを再起動すると、UI が 4k / 高 DPI モニター上で拡大縮小されるはずです。

 画像 3: Windows 10 のディスプレイ スケーリング設定に準拠するようにMariを設定します。

これが完了すると、以下に示すように、 Mari UI が 4K モニターに表示されます。

画像 4: 上記の手順を完了した後、4K モニターに表示されるMari 4.7v2。

表示スケーリング値が異なる 2 台のモニターを使用すると、問題が発生する可能性があることに注意してください。

さらなるヘルプ

この記事で説明されている手順を実行するときに問題が発生した場合は、サポート チケットを作成し、この記事で要求されている情報を提供してください。
Q100090: Mariの問題を報告する

サポート リクエストを開く方法の詳細については、次の記事を参照してください。
Q100064: サポート チケットを発行する方法