chiark / gitweb /
Cleanup: the `mouse_priorities' field in the back end has been a
authorSimon Tatham <anakin@pobox.com>
Sat, 22 Oct 2005 16:35:23 +0000 (16:35 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 22 Oct 2005 16:35:23 +0000 (16:35 +0000)
commitb7f192eea34e0bd36abcd457333ab37eb221789f
tree91f6482f7eec6deb4d1de4a0e2838a2b091962f3
parent6824dcde03d894886fea4c1e16e0020a9c176225
Cleanup: the `mouse_priorities' field in the back end has been a
more general-purpose flags word for some time now. Rename it to
`flags'.

[originally from svn r6414]
27 files changed:
blackbox.c
bridges.c
cube.c
devel.but
dominosa.c
fifteen.c
flip.c
guess.c
inertia.c
lightup.c
loopy.c
map.c
midend.c
net.c
netslide.c
nullgame.c
pattern.c
pegs.c
puzzles.h
rect.c
samegame.c
sixteen.c
slant.c
solo.c
tents.c
twiddle.c
untangle.c