diff options
author | Thanos Apollo <[email protected]> | 2023-12-27 10:57:28 +0200 |
---|---|---|
committer | Thanos Apollo <[email protected]> | 2023-12-27 10:57:28 +0200 |
commit | 904e9ba14ed6c4ce5839ad4b56c8fca069203565 (patch) | |
tree | b53943120b51ff526162110c905324fe81857237 | |
parent | 9f81a472ef13df058e7bf3408c23b97a9a4941d7 (diff) |
Add gnosis-display--hint
-rw-r--r-- | gnosis.el | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -125,6 +125,13 @@ else use `gnosis-face-false'" 'gnosis-face-correct 'gnosis-face-false)))))) +(defun gnosis-display--hint (hint) + "Display HINT." + (with-gnosis-buffer + (goto-char (point-max)) + (insert (concat "\n\nHint: " + (propertize hint 'face 'gnosis-face-hint))))) + (defun gnosis-display--cloze-correct (cloze-chars correct) "Replace CLOZE-CHARS with CORRECT." (with-gnosis-buffer |