色つけブックマークレット

<a href="javascript:(function(){var b=document.getElementById('textarea-edit'),c='<font color=',d='>$1</font>';function r(a,c){b.value=b.value.replace(a,c);};r(/>([^\|])/g,'&gt;$1');r(/([^\|])</g,'$1&lt;');r(/('([^\']|\\\')*'|"([^\"]|\\")*")/g,c+'red'+d);r(/(\/\/[^\n]*(\n|$)|\/\*\/?([^\/]|[^*]\/)*\*\/)/g,c+'green'+d);r(/([\(\){}]|\b(if|switch|case|for|while|do|return|goto|break|continue|var|function|new|try|catch|class|struct|enum|union|extends|implements)\b)/g,c+'blue'+d);})()">色つけ</a><br />

<a href="javascript:void(document.getElementById('textarea-edit').value=document.getElementById('textarea-edit').value.replace(/<font%20color=[a-z#0-9]*>/g,'').replace(/<\/font>/g,''))">戻す</a>

/* comment */
int main() {
  printf("hello world\n"); // one line comment
  return 0;
}

こんな感じのブックマークレットを使うと、はてなの編集画面で、
ソースに色をつけたり、消したり出来ます。