Hide keyboard shortcuts

Hot-keys on this page

r m x p   toggle line displays

j k   next/prev highlighted chunk

0   (zero) top of page

1   (one) first highlighted chunk

1

2

3

4

5

# -*- coding: utf-8 -*- 

 

__author__ = 'Uwe Schmitt' 

__email__ = 'uwe.schmitt@id.ethz.ch' 

__version__ = '0.1.0'