preタグの中を全選択したい時がある人向け。 ＊IE9以上 追記: GoogleChrome(webkit)ではボタンのテキストも選択されてしまうので修正 @ 2013/07/24 これの利点 はてなに限ればGistなどの貼り付けで良いが、userscriptとして使えばMDNなど他のサイトでも使え…