search

galaktor / gostwriter

A virtual keyboard for linux, which makes use of /dev/uinput to inject key events.
GNU General Public License v3.0
24 stars 7 forks source link

Rename "Push" to be "Punch" #4

Open galaktor opened 10 years ago

galaktor commented 10 years ago

Push can be too easily confused with Press

Find a better name, I think "punch" is a bit clearer

Or maybe something else?