diff options
author | JSDurand <mmemmew@gmail.com> | 2025-01-01 11:19:01 +0800 |
---|---|---|
committer | JSDurand <mmemmew@gmail.com> | 2025-01-01 11:19:01 +0800 |
commit | 2a7c0e542a0bdba9aa0df4618357f60932bffcf2 (patch) | |
tree | 1b399e3838b0c55f66ba0774723caee079172ef8 /desktop | |
parent | e7600704e495f17a6e080a34d266a26986dd880b (diff) |
count: make value buffer-local, font-changing commands.
* count.el (count-mode-value): Make this variable buffer-local, so
that we can have different buffers count different values.
(counting-font-step): Add a variable that controls the font-size
scaling factor within the counting buffers. I shall consider if I
need to make this variable buffer-local as well.
(count-mode, count-refresh): Refactor some logic into the function
`count-refresh`.
(count-mode-map): Add bindings for font-size changing commands.
(count-make-pad-string): Account for the font-size scaling variable
in the calculation of the size of the numbers to be centered.
(count-enlarge, count-shrink): Commands for changing the
font-scaling variable, so as to achieve the effect of enlarging and
shrinking the texts within the counting buffers.
Diffstat (limited to 'desktop')
0 files changed, 0 insertions, 0 deletions