pythonだと普通に ctags -R .で作ったタグファイルではタグジャンプがうまくいかない。 そんなときはpython-toolsにバンドルされているptags.pyを使えばいいようであるが、 そのままのptags.pyではディレクトリをもぐってくれないので パッチをあてる必要が…