pgAdmin 4 v7 の Query Tool 用フォントを無理やり変更する（備忘録）

pgAdmin 4では，エディタ（Query Tool）のフォント設定がなくなってしまいました．
そこで，内部で使用しているCSSを書き換えてフォントを変更します．

pgAdmin 4 v7.7をWindowsかつローカルユーザ向けにインストールした環境を想定します．

1. 使用したいフォントファイルを設置する

%LocalAppData%\Programs\pgAdmin 4\v7\web\pgadmin\static\js\generated\fontsに使用したいフォントを配置します．

フォントを配置した

2. CSSを編集する

%LocalAppData%\Programs\pgAdmin 4\v7\web\pgadmin\static\js\generated\pgadmin.style.cssで使用するフォントのfont-faceを設定しています．エディタ部分で使用されているフォントはSource Code Proなので，このsrcを目的のフォントに書き換えてしまいます．

@font-face {
  font-family: "Source Code Pro";
  /*src: url(fonts/SourceCodePro-Regular..ttf) format("truetype");*/
  src: url(fonts/PlemolJP-Text.ttf) format("truetype");
  speak: none;
  font-style: normal;
  font-weight: normal;
  font-variant: normal;
  text-transform: none;
  line-height: 1;
  -webkit-font-smoothing: antialiased;
}

結果

pgAdmin 4のエディタ（Query Tool）で表示されるフォントが変わりました．

Query Toolにフォントが反映された