Developer's Blog

タブブラウザ Sleipnir 用の plugins_ini_editor を作成 @RAPT

RAPT です。
※ plugins_ini_editor は Fenrir & Co. の公式なものではありません。
Sleipnir のインストール済プラグインの情報を編集するツール“plugins_ini_editor”を作成しました。
特徴

  • Sleipnir の場所を指定すると、Sleipnir の設定を読み取り、自動的にユーザの設定ファイルの場所を見つけます。
  • さらにインストーラ版を使用している場合、plugins.ini の場所を指定する際に自動的に探し出します。
  • そのユーザ固有の plugins.ini がない場合でも、新規に plugins.ini を作成する機能があります。
  • 画面で、Sleipnir.exe の場所を指定した後、[新規] ボタンを押下してください。
  • 更新時、自動的にバックアップファイルを作成します。
    バックアップファイルは、plugins.ini.000 の形式で、plugins.ini.999 まで連番で作成します。
    既に 999 まで存在する場合は、999 を上書きします。
  • このツールの設定ファイル(初期状態では plugins_ini_editor.ini)を変更することにより、本体の将来の仕様変更や、仕様追加にもある程度対応できます。
    plugins.ini 読込時などにこのツールの設定ファイルを作成します。(通常は、変更しないでください。)

スクリーンショット

備考
これは、作者 RAPT の個人的な趣味で作ったものなので、 Fenrir & Co. の公式なサポートはありません。
詳しくは、RAPT Labs を参照してください。

Copyright © 2019 Fenrir Inc. All rights reserved.