[debbugs-tracker] bug#22107: closed (this-command-keys no longer returns prefix argument)

[GNU bug Tracking System]

Your message dated Mon, 7 Dec 2015 21:46:19 +0000
with message-id <address@hidden>
and subject line Re: bug#22107: 25.1; Wrong docstring for 
this-single-command-keys
has caused the debbugs.gnu.org bug report #22107,
regarding this-command-keys no longer returns prefix argument
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
22107: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=22107
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: 25.1; Wrong docstring for this-single-command-keys Date: Mon, 7 Dec 2015 15:42:39 +0000

The docstring says:

Unlike ‘this-command-keys’, this function’s value

does not include prefix arguments.

However, the function ‘this-command-keys’ also does not seem to return prefix arguments. I tested this by evaluating the following code and then typing C-u C-F3. (the output is just [C-f3])

(defun bababa ()

  (interactive)

  (message "%s" (this-command-keys)))

(global-set-key (kbd "C-<f3>") #'bababa)

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#22107: 25.1; Wrong docstring for this-single-command-keys
>
>
>
>
> Date: 
>
> Mon, 7 Dec 2015 21:46:19 +0000
>
>
>
>
> Good point. I've filed a new bug and I'm closing this one.
>
>
> --- End Message ---