René Stadler ca40c5e58a Implement backward search result navigation		2014-09-11 20:51:43 +02:00
..
Common	Add GUI utility function to add a popup menu to a widget	2014-09-11 20:51:42 +02:00
Plugins	Implement backward search result navigation	2014-09-11 20:51:43 +02:00
__init__.py	Fix copyright/license headers and module docstrings	2014-09-11 20:51:39 +02:00
Data.py	Use the mmapped fileobj in more places and use slice access	2014-09-11 20:51:42 +02:00
GUI.py	Some search fixes	2014-09-11 20:51:43 +02:00
Main.py	Fix handling of filename command line argument	2014-09-11 20:51:40 +02:00