zhang rui

Results 2 issues of zhang rui

Auto clean command history which timestamp older than a config option. Currently I use the following sql to delete command history older than three months. ```sql delete from history where...

enhancement

Add an option to restore mouse location after click. Like keyboard maestro.

enhancement