Reputation
9,694
Next tag badge:
118/100 score
1/20 answers
Badges
2 18 24
Impact
~26k people reached

  • 0 posts edited
  • 0 helpful flags
  • 34 votes cast
1d
revised Better handling of indentation and the TAB key when editing posts
deleted 300 characters in body
Jan
25
awarded  Favorite Question
Nov
1
revised Dude, where's my cursor?
added 13 characters in body
May
20
awarded  Yearling
Jan
31
awarded  Good Question
Dec
19
comment How to get data related to Winter Bash?
Two years ago (except that it contained less data because hats were more strictly per-site). It's the API that gets called to populate the hat rack when you click on the "X hats" number on a user profile.
Dec
19
answered How to get data related to Winter Bash?
Oct
28
comment Better handling of indentation and the TAB key when editing posts
Indenting yes, but there are other valid reasons for tabbing, e.g. tabular data, lining up comments, etc.
Oct
2
awarded  Great Answer
Jul
26
revised Official keyboard shortcuts
edited body
Jul
26
comment Official keyboard shortcuts
If you select a post and then press "?", does "C" appear in the list of available keys?
Jul
26
comment Official keyboard shortcuts
Weird. The only difference between the two of us is the Chrome version then. I'm on 36. By the way: meta.stackexchange.com/questions/237166/…
Jul
26
revised Official keyboard shortcuts
added 208 characters in body
Jul
26
comment Official keyboard shortcuts
Hmm, works for me. Are you using any other user scripts that may be interfering?
Jul
26
comment Official keyboard shortcuts
Hmm I was just going to fix this, but I can't even reproduce it. Is it still happening? (FWIW, you weren't the only one reporting this)
Jul
25
comment Official keyboard shortcuts
Yep, I figured that change would break a lot of user scripts, including that one.
Jul
2
awarded  Curious
Jun
11
revised Reputation graph
added 201 characters in body
Jun
11
revised Threaded comments
added 108 characters in body
Jun
11
revised “Reply” links on comments
userscripts.org is dead