以降、文字サイズの調整が必要なら

3) kritaを終了する

4) テキストエディタでkritarcファイルを開く

5) (krita起動の際に項目順にソートされているので)
  文書内検索で [GUI] の記述箇所を探す

6) palettefontsize= の数値を書き換えて上書き保存
  ファイルを閉じる

7) kritaを起動する

3〜7の繰り返し