takane56様
失礼いたしました。
parseIntの使用法の誤りでした。
以下のものを保存してお使いください。
Redraw = false;
if( document.selection.IsEmpty ){
document.selection.SelectAll();
}
var text = document.selection.Text;text = text.replace( /()(d{3})/g , function( $0 , $1 , $2 ){ return $1+”post_”+( parseInt( $2 , 10 )-1)+”.html” } );
document.selection.Text = text;
Redraw = true;