chiark / gitweb /
Fix updating of the view title to show the current position in the view