chiark / gitweb /
Add functions provided by the midend to tell a front end whether GUI
authorSimon Tatham <anakin@pobox.com>
Sat, 2 Apr 2011 15:36:30 +0000 (15:36 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 2 Apr 2011 15:36:30 +0000 (15:36 +0000)
commit8c6c8df8f4bd07602931485956fce524925dc2bb
tree11b2abd4e36e1826f4076351d6a0791aabf2584d
parent00a313f2d6d96257fd634c743b609cb5b6465e3c
Add functions provided by the midend to tell a front end whether GUI
buttons for undo and redo should currently be greyed out.

[originally from svn r9139]
devel.but
midend.c
puzzles.h