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

6

# -*- encoding: utf-8 -*- 

 

from .display_manager import get_display_manager 

from .pretty_print import pretty_print