キーボードショートカットも設定できる。初期状態ではすべて空欄だが、フルリフレッシュのショートカットだけは設定しておいたほうがよい(今回はCtrl+F5を割り当ててある)

キーボードショートカットも設定できる。初期状態ではすべて空欄だが、フルリフレッシュのショートカットだけは設定しておいたほうがよい(今回はCtrl+F5を割り当ててある)