http://plugins.jetbrains.com/plugin/?idea&pluginId=190 最近アップデートされてて、その存在に気付いた（初回リリースは2009/05/08なので割りと歴史のあるプラグインのようす。 提供機能は単純で、ソースコードの選択範囲をHTMLテキストとしてクリップボ…