Dave Holland's home page

Another productivity killer
12:38pm, Wednesday 9 July 2003

MineSweeper3D picks up where the Microsoft version left off. I can complete the subdivided cuboctahedron in 42.6 seconds.

Mozilla and Google
10:21am, Friday 4 July 2003

Another configuration snippet. This makes Mozilla's "Internet Keywords" feature use Google's "I'm Feeling Lucky" search result for the destination page. Stick this in user.js:

user_pref("keyword.URL", "http://www.google.co.uk/search?btnI=I%27m+Feeling+Lucky&q=");

Biff
12:18pm, Tuesday 27 May 2003

Woo, I just fixed a bug that was more than three and a half years old.

A blast from the past
3:58pm, Tuesday 20 May 2003

I've spent a fun lunch hour playing Imogen, a cute puzzle game which appeared on the BBC Micro quite a few years ago. My BBC Micro is in my parents' loft but fortunately there's BeebEm so I get to play it on my PC.

That level with the cuckoo clocks is evil.

xterm selection
11:26am, Friday 16 May 2003

Just a snippet. If I don't put this somewhere obvious I'll never find it again.

XTerm*charClass: 33:48,37:48,45-47:48,64:48,58:48