From 6f99f40e0a11acbf60c95ca2fdcc53aa492e4354 Mon Sep 17 00:00:00 2001 From: Franklin Wei Date: Sun, 28 Jun 2020 22:41:29 -0400 Subject: Fix typo in docs for request_keys() --- devel.but | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/devel.but b/devel.but index 8dbc462..7521596 100644 --- a/devel.but +++ b/devel.but @@ -1631,10 +1631,10 @@ to the midend when the frontend deems appropriate. The backend should set \cw{*nkeys} to the number of elements in the returned array. -The field for this function point in the \cw{game} structure might be -set to \cw{NULL} (and indeed it is for the majority of the games) to -indicate that no additional buttons (apart from the cursor keys) are -required to play the game. +The field for this function pointer in the \cw{game} structure might +be set to \cw{NULL} (and indeed it is for the majority of the games) +to indicate that no additional buttons (apart from the cursor keys) +are required to play the game. This function should not be called directly by frontends. Instead, frontends should use \cw{midend_request_keys()} -- cgit v1.1