Reputation
9,754
Next tag badge:
120/100 score
1/20 answers
Badges
2 18 25
Impact
~27k people reached

  • 0 posts edited
  • 0 helpful flags
  • 34 votes cast
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
May
20
awarded  Yearling
May
16
awarded  Notable Question
Jan
19
awarded  Favorite Question
Jan
11
comment Better handling of indentation and the TAB key when editing posts
@joeytje50 What the Esc key is there for -- it cancels the editing. Same as clicking the "cancel" link. Note that I'm talking about editing, not suggesting edits; the latter has no cancel link because it doesn't need one (since it doesn't happen inline, but on a new page).
Jan
10
comment Better handling of indentation and the TAB key when editing posts
@joeytje50 Esc already has a meaning during editing, so this is out of the question.
Dec
17
revised Threaded comments
added 72 characters in body
Dec
17
comment Threaded comments
@MartinSchröder You can update now; it's fixed in the new version.
Dec
17
comment Threaded comments
@MartinSchröder Yeah, there's an interference with the Winter Bash javascript. I'll fix that later today.
Nov
28
comment Official keyboard shortcuts
My bad, now fixed in bitbucket.org/balpha/se-keyboard-shortcuts/commits/….
Nov
28
comment Official keyboard shortcuts
For completeness: I fixed this a few days later in bitbucket.org/balpha/se-keyboard-shortcuts/commits/…
Nov
28
comment Official keyboard shortcuts
fixed in bitbucket.org/balpha/se-keyboard-shortcuts/commits/…
Nov
18
awarded  Critic
Aug
27
awarded  Popular Question
Aug
19
comment Dude, where's my cursor?
What are the fatal errors? And does it work if you install it directly as a Chrome userscript instead of going through Tampermonkey?
Jul
14
comment Bad format returned by Stack Exchange API, not GZip?
Yes, that's what I said. Of course the JSON is UTF8-encoded. But treating the raw gzip data as UTF8 is what makes no sense.
Jul
13
answered Bad format returned by Stack Exchange API, not GZip?
Jul
5
awarded  Good Question