retrobits / son_of_hunkypunk

Automatically exported from code.google.com/p/hunkypunk
22 stars 8 forks source link

Add space to end of default shortcuts #46

Open MarkMaldaba opened 7 years ago

MarkMaldaba commented 7 years ago

If you use the any of the default shortcuts, you currently have to manually add a space if you want to add a further word.

For example, if I select drop and then start typing torch then I will get droptorch unless I press space first.

It would be helpful if the default shortcuts included this space, e.g. drop␣ instead of drop.