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

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

72

73

74

75

""" 

The Sage Input Hook 

 

This lets us perform actions while IPython is sitting at the terminal input 

prompt. We use it to reload attached files if they have changed. 

""" 

 

########################################################################### 

# Copyright (C) 2016 Volker Braun <vbraun.name@gmail.com> 

# 

# This program is free software: you can redistribute it and/or modify 

# it under the terms of the GNU General Public License as published by 

# the Free Software Foundation, either version 2 of the License, or 

# (at your option) any later version. 

# http://www.gnu.org/licenses/ 

########################################################################### 

 

import os 

import select 

import errno 

 

from IPython import get_ipython 

from IPython.terminal.pt_inputhooks import register 

 

import sage.repl.attach 

 

 

TIMEOUT = 0.25 # seconds 

 

 

def sage_inputhook(context): 

f = context.fileno() 

while True: 

sage.repl.attach.reload_attached_files_if_modified() 

try: 

r, w, e = select.select([f], [], [], TIMEOUT) 

if f in r: 

return # IPython signalled us to stop 

except select.error as e: 

if e[0] != errno.EINTR: 

raise 

 

 

register('sage', sage_inputhook) 

 

 

def install(): 

""" 

Install the Sage input hook 

 

EXAMPLES:: 

 

sage: from sage.repl.inputhook import install 

sage: install() 

""" 

ip = get_ipython() 

if not ip: 

return # Not running in ipython, e.g. doctests 

ip.enable_gui('sage') 

 

 

def uninstall(): 

""" 

Uninstall the Sage input hook 

 

EXAMPLES:: 

 

sage: from sage.repl.inputhook import uninstall 

sage: uninstall() 

""" 

ip = get_ipython() 

if not ip: 

return 

if ip._inputhook == sage_inputhook: 

ip.enable_gui(None)