Gal Pressman

Filter options as you type

2

It would be nice if you could filter your options on the fly by typing. For example, if my list of options is: - b - ab - a And...

Running histogram.py on a data file is cool, but most of my data is kept in local variables in scripts. Introduce print_histogram function which accepts a list of samples and...

Change font size

1

Hello, I can't find a way to change the font size of the produced diff, is there some hack I can make to change it? Thanks!

Use repgrep to open an editor at a match location

7

It would be great if it was possible to jump to the selected file and line (open in editor for example) instead of just find and replace.

Add a date/time input

3

Would be cool if there was an intuitive way (kinda like the file path) to query a date/time.