451 reputation
26
bio website stackoverflow.com/users/…
location Europe
age 24
visits member for 3 years, 5 months
seen Jun 12 at 15:25

JavaScript is quite useful, if it only were a better language...


Jan
17
comment Increase/Decrease Indentation Buttons for the Editor
@KirkWoll: That is unfortunate and i cannot tell you what might be wrong; i have not tested this on Chrome for a long time and the new extension mechanism is a bit of a pain. I can tell you that it still seems to work on FF if i have the same version installed.
Nov
13
comment Select Code Block Buttons Script
Thanks for debugging this. I now added the code from the SE keyboard shortcuts. If you want you can test it to see if that also works for you...
Nov
12
comment Select Code Block Buttons Script
@halirutan: Text selection unfortunately is a bit browser dependent, i changed the code to alleviate that but i did not expect chrome to behave differently in the first place so i do not know if this will change anything for you...
Aug
28
comment VoteCounts: bookmarklet to display up/down votes even for rep less than 1000
Shouldn't this be tagged as script rather than app?
Aug
14
comment “Reply” links on comments
@freiheit: He/she just posted another question, (profile), you could try the reply button on this question for example.
Aug
13
comment “Reply” links on comments
@freiheit: No idea, i should have linked to the profile, cannot find it anymore...
Aug
2
comment “Reply” links on comments
The script somehow seems to swallow certain characters at times, e.g. infensus was turned into inensus.
Jun
7
comment Increase/Decrease Indentation Buttons for the Editor
I am quite aware of this but others might not; One problem is that this backward shifting does not always seem to work (not sure if tab vs. spaces makes a difference) and increasing indentation is helpful for example when having code in a list (which requires 8 spaces indentation).