Minecraft Java Editionサーバー（Spigot/Paperなど）の設定ファイル server.properties を、安全かつ直感的に編集するためのGUIツールです。

テキストエディタで手動編集する際に起こりやすい「入力ミス」や「構文エラー」によるサーバー起動失敗を完全に防ぎます。

【主な特徴】

• 直感的なGUI操作:

  • チェックボックス、スライダー、ドロップダウンリストから設定を選択。

  • 「true/false」や数値範囲を間違える心配がありません。

• 全主要項目対応:

  • ポート番号、最大プレイヤー数、ゲームモード、難易度、ワールド生成設定など、主要な項目を網羅。

  • 不明な設定もそのまま保持して保存するため、データ損失のリスクがありません。

• 自動バックアップ機能:

  • 保存時に自動的に .bak ファイルを作成。

  • 間違えて保存してしまった場合でも、即座に復元可能です。

• 軽量・高速:

  • Python/Tkinter製の単体実行ファイル（.exe）。インストール不要で、すぐに使えます。

【使い方】

1. MC_Properties_Editor.exe を起動。

2. 「📂 server.propertiesを開く」ボタンをクリックし、サーバーフォルダ内の設定ファイルを選択。

3. 表示された項目を変更（チェックを入れる、数値を変えるなど）。

4. 「💾 保存」をクリック。完了です。

【対応環境】

• Windows 10 / 11

• Minecraft Java Edition Server (Vanilla, Spigot, Paper, Purpur etc.)

【注意事項】

本ツールは非公式のサードパーティ製ソフトです。

設定変更は自己責任で行ってください。