> 文字入力で Ctrl+Enter を使うと改行になるのは、> 4年前(X_mled)からの動作です。Google IMEを使っています。これの第一候補の確定がCtrl+Enterなのですが、そこには今いるディレクトリ名かPPxをインストールしたディレクトリ名がペーストされてしまうのです。