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

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


Aug
13
comment “Reply” links on comments
@freiheit: No idea, i should have linked to the profile, cannot find it anymore...
Aug
12
revised Favourite Tags Numerical Keyboard Shortcuts Script
added 2 characters in body; edited title
Aug
12
asked Favourite Tags Numerical Keyboard Shortcuts Script
Aug
12
revised Remove Delete-Favourite-Tag-Buttons Script
added 123 characters in body
Aug
12
revised Fitts's Law Favourite Tags Script
added 35 characters in body
Aug
12
revised Increase/Decrease Indentation Buttons for the Editor
edited tags
Aug
12
revised Remove Delete-Favourite-Tag-Buttons Script
deleted 52 characters in body
Aug
12
revised Fitts's Law Favourite Tags Script
deleted 8 characters in body
Aug
12
asked Fitts's Law Favourite Tags Script
Aug
12
asked Remove Delete-Favourite-Tag-Buttons Script
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
8
awarded  Editor
Jun
8
revised Increase/Decrease Indentation Buttons for the Editor
deleted 15 characters in body
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).
Jun
7
awarded  Student
Jun
7
awarded  Supporter
Jun
7
asked Increase/Decrease Indentation Buttons for the Editor
Jun
6
awarded  Autobiographer