リアルタイムグラフ表示ツールの、パラメタ指定フォームを隠す(しまう)方法を探していたのだけど、ちょうどSoftwareDesignに載ってたExtJSが良さげなので試してみる。JavaScriptのプログラミングなんてまともにやったことないので、「コードは以下の通り」と…