emacs/lisp/play
Eli Zaretskii 4073c62437 Fix :type of some user options
* lisp/which-key.el:
* lisp/progmodes/python.el:
* lisp/play/animate.el:
* lisp/pixel-scroll.el:
* lisp/image/image-dired.el:
* lisp/htmlfontify.el: Change :type of user options from 'float'
to 'number' where integer values make sense.  (Bug#73098)
2024-09-08 19:17:48 +03:00
..
5x5.el ; Add 2024 to copyright years 2024-01-02 09:47:10 +08:00
animate.el Fix :type of some user options 2024-09-08 19:17:48 +03:00
blackbox.el ; Add 2024 to copyright years 2024-01-02 09:47:10 +08:00
bubbles.el ; Add 2024 to copyright years 2024-01-02 09:47:10 +08:00
cookie1.el Use obarray-make instead of make-vector to create obarrays 2024-02-23 13:02:27 +01:00
decipher.el doc: Delete extraneous quotes around keys 2024-01-21 14:09:34 +01:00
dissociate.el ; Add 2024 to copyright years 2024-01-02 09:47:10 +08:00
doctor.el * lisp/play/doctor.el: Add a few more word meanings. 2024-05-19 01:15:20 +02:00
dunnet.el Merge from savannah/emacs-29 2024-01-02 10:28:14 +08:00
fortune.el ; Add 2024 to copyright years 2024-01-02 09:47:10 +08:00
gamegrid.el Use timer accessors instead of aref/aset 2024-07-25 14:40:35 +02:00
gametree.el ; Add 2024 to copyright years 2024-01-02 09:47:10 +08:00
gomoku.el ; Add 2024 to copyright years 2024-01-02 09:47:10 +08:00
handwrite.el Merge from savannah/emacs-29 2024-01-02 10:28:14 +08:00
hanoi.el Abolish max-specpdl-size (bug#57911) 2022-09-19 19:30:03 +02:00
life.el ; Add 2024 to copyright years 2024-01-02 09:47:10 +08:00
morse.el ; Add 2024 to copyright years 2024-01-02 09:47:10 +08:00
mpuz.el ; Add 2024 to copyright years 2024-01-02 09:47:10 +08:00
pong.el ; Add 2024 to copyright years 2024-01-02 09:47:10 +08:00
snake.el ; Add 2024 to copyright years 2024-01-02 09:47:10 +08:00
solitaire.el ; Add 2024 to copyright years 2024-01-02 09:47:10 +08:00
spook.el ; Add 2024 to copyright years 2024-01-02 09:47:10 +08:00
studly.el
tetris.el ; Add 2024 to copyright years 2024-01-02 09:47:10 +08:00
zone.el ; Add 2024 to copyright years 2024-01-02 09:47:10 +08:00