ChromeデベロッパーツールでJavaScriptを編集できないのはなぜですか？

Ubuntu 10.04 LTS（64ビット）にGoogle Chrome 13.0.782.220をインストールしています。

スクリプト領域をダブルクリックして、Chromeデベロッパーツールの[スクリプト]ペインで外部JSファイルのJavaScriptコードを編集しようとしています。どれだけ速くクリックしても、効果は近くの単語を選択することだけです。

編集モードがアクティブにならない理由を誰かが知っていますか？

Chrome Webkit Inspectorでは、きれいに印刷されたJavaScriptをライブ編集することはできません。[ { }スクリプト]タブの[ きれいな印刷]ボタン（のように見える）をクリックして、きれいな印刷モードを無効にして編集します。

出典：Chromeデベロッパーツールの概要

同一生成元ポリシーに違反した可能性があります。

Google ChromeでのAJAX開発のクロスドメインセキュリティチェックの無効化から：

コマンドライン、Ubuntu / LinuxからGoogle Chromeを起動します。

chromium-browser --disable-web-security

バグです。フォーマットされたコードを縮小ファイルに貼り付けることで、ソリューションをシミュレートできます。