diff options
| author | Eli Zaretskii | 2024-09-08 19:17:48 +0300 |
|---|---|---|
| committer | Eli Zaretskii | 2024-09-08 19:17:48 +0300 |
| commit | 4073c624376148d469a27a7c487a9b2f49d5352a (patch) | |
| tree | 7573aa22a8cd62c74a12395445a3da6e4224ddf7 /java/debug.sh | |
| parent | 8081c08ff1b4fd5e948058be7067136e11ac0ecb (diff) | |
| download | emacs-4073c624376148d469a27a7c487a9b2f49d5352a.tar.gz emacs-4073c624376148d469a27a7c487a9b2f49d5352a.zip | |
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)
Diffstat (limited to 'java/debug.sh')
0 files changed, 0 insertions, 0 deletions