Archives by date

You are browsing the site archives by date.

Neat Firefox 5 feature

My favourite Firefox 5 feature so far: the handling of tab resizing when you’re closing tabs. It doesn’t resize the remaining tabs until you move the mouse out of the tab bar – so if you’re just closing a bunch of tabs sequentially, the X doesn’t move out from under your cursor when the tabs […]

Excitement time again

Yup, it’s that time again: I updated my system to Rawhide today. F15’s just too boring and stable! When I first tried to do the upgrade there were significant dependency issues with totem-pl-parser and gjs, so I fixed those up – they both turned out to be simply changes and rebuilds that had been done […]