ref: 19172c4a30a15e69ad2e8aa74524d0c512e321c1
parent: 810814823f35c158fa667896c6176950470b66a4
author: Simon Tatham <anakin@pobox.com>
date: Wed Apr 9 10:57:20 EDT 2008
Implement tick marks in the Type menu on Windows. Now all my front ends have got them. [originally from svn r7982]