741 reputation
59
bio website gampleman.eu
location Edinburgh, United Kingdom
age
visits member for 3 years, 9 months
seen Feb 13 at 9:35

Student of Cognitive Science at Edinburgh University. Interested in functional programming.

Site | Twitter | GitHub


Dec
16
comment SE Editor Toolkit
@Truth I haven't done much maintenance on this script for a while. Are you using it as a plugin or as a UserScript?
Mar
27
comment SE Editor Toolkit
@George why's that?
Mar
22
comment SE Editor Toolkit
Should be fixed in the source now, coming to a release near you soon.
Mar
22
comment SE Editor Toolkit
@Dennis the autoupdating I had in mind is a Safari feature that should automatically update the extension based on this file gampleman.github.com/SE-Editor-Toolkit/updates.plist
Mar
19
comment SE Editor Toolkit
@Dennis I'm hoping to get some proper icons for a near future release so I'll add it to that.
Mar
19
comment SE Editor Toolkit
To what? Change case? Sounds kinda weird.
Mar
17
comment SE Editor Toolkit
[status-completed]
Mar
16
comment SE Editor Toolkit
@George Awesome! I updated the link in the post. Also thanks to Hans for helping me optimize some stuff: stackoverflow.com/questions/5324757/…
Mar
16
comment SE Editor Toolkit
Also added askubuntu.com and answers.onstartups.com. Any other SE site I'm missing?
Mar
16
comment SE Editor Toolkit
Are there? Isn't usually bold face better? Also see github.com/gampleman/SE-Editor-Toolkit/issues#issue/1.
Mar
16
comment SE Editor Toolkit
[status-completed]
Mar
16
comment SE Editor Toolkit
Done, there's a new version up.
Mar
16
comment SE Editor Toolkit
This is definitely a bug in my version as well, I'm just fixing it.
Mar
16
comment SE Editor Toolkit
@George Care to add it to the github repository? As the conversion looks more or less like a fairly straightforward (= automatable) process I could update both simultaneously.
Mar
16
comment SE Editor Toolkit
@Dori Of course not! Post them either here or at github.com/gampleman/SE-Editor-Toolkit/issues.