Double keystrokes generate dots

A double keystroke e.g. of “7” (for half note duration) adds a dot to the selected note. This is also the case with other duration keys. Is this intentional ? Can this behaviour be redefined ?

Yes it is!