-
Robert Sprowson authored
Button type 11 was added in 1988 so is about time it had a symbol to refer to it in the sources. Added & used said symbols. Removed 'DoubleIcon' switch, prototype button type 12. Built binary identical module, not tested. Version 5.43. Not tagged
2ddbcbf5