In my terminal connection it simply doesn't show anything but "!" sign (after pressing the Tab; see screenshot).
Winbox can show icmp-options. Problem in winbox is - it doesn't show icmp-type numbers in the list (only names, no numbers). The number is shown only once, when I open the firewall rule. Then if I try to set new icmp-options value, number(s) disappear.

Now:
I can set icmp-options in terminal - only if I know icmp type numbers.
I can set icmp-options in winbox - only if I know icmp type names.

My actual Mikrotik 951G-2HnD has firmware 3.14 and all packages 6.13.
I remember, this problem wasn't present in the winbox earlier.

Question:
Is it possible to see icmp-type numbers in the winbox pull-down list and icmp-type names (or at least something else) in the terminal autocompleting list?