Cleanup: the `mouse_priorities' field in the back end has been a
authorsimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Sat, 22 Oct 2005 16:35:23 +0000 (16:35 +0000)
committersimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Sat, 22 Oct 2005 16:35:23 +0000 (16:35 +0000)
more general-purpose flags word for some time now. Rename it to
`flags'.

git-svn-id: svn://svn.tartarus.org/sgt/puzzles@6414 cda61777-01e9-0310-a592-d414129be87e


No differences found