Back to contents

Settings: Global scope

grep

Python type: str

Pathname of grep executable

throwheight

Python type: int

Height of throwback windows in pixels (currently ignored)

throwwidth

Python type: int

Width of throwback windows in pixels (currently ignored)