【MySQL Workbench】タイムアウト時間を変更する

MySQL Workbenchのタイムアウト時間を変更する方法をご紹介します。

タイムアウトのデフォルト値は30秒です。

Workbenchが英語なのでわかりずらいですが、上のメニューからEdit→Preferencesをクリックします。

設定ウィンドウが表示されますので、左側のメニューからSQL Editorをクリックします。

タイムアウトを設定している箇所がありますので、ここを任意の数値に変更し、OKボタンをクリックします。

Workbenchを再起動すればOKです。

以上になります。
お読み頂き、ありがとうございました。