Mike Gershunovsky

Results 16 issues of Mike Gershunovsky

could potentially mess up caching stuff if a new search runs

right now there are only key/mouse binding files. let's add default+user general settings files users should be able to customize: - int: keyword scanning timeout - T/F: initialize cache on...

enhancement

it's hideous, and also bugs out when there is an extra space after the keyword like "abc " at the end of the line

enhancement

as far as I know, more often than not keywords will not have any variables and use correct spacing, so we should store keywords in a dict (lowercase name =>...

new feature

For example, a keyword could be defined as such: (from user guide) Select ${animal} from list Select "${city}" "${team}" I execute "${cmd:[^"]+}" I type ${a:\d+} ${operator:[+-]} ${b:\d+} Today is ${date:\d{4}-\d{2}-\d{2}}...

new feature